1988-04-18 10:13:57 +00:00
|
|
|
if [ -f $DESTDIR/$1/$2 ]
|
1985-04-14 23:26:24 +00:00
|
|
|
then
|
1988-04-18 10:13:57 +00:00
|
|
|
:
|
|
|
|
elif grep LIST $DESTDIR/$1/.distr >/dev/null 2>&1 &&
|
1985-04-14 23:26:24 +00:00
|
|
|
(test "$2" = "`head -1 $DESTDIR/$1/LIST`") >/dev/null 2>&1 &&
|
|
|
|
${DA-false} "$1" "$2"
|
|
|
|
then
|
|
|
|
: Fetched library contents one by one and put them together
|
1991-10-16 13:28:48 +00:00
|
|
|
elif ( cd $DESTDIR/$1 ; make distr ) > /dev/null 2>&1
|
|
|
|
then
|
|
|
|
echo ++ $1/$2 made 1>&2
|
1990-07-30 14:32:43 +00:00
|
|
|
elif ( cd $DESTDIR/$1 ; make $2 ) > /dev/null 2>&1
|
|
|
|
then
|
1991-10-16 13:28:48 +00:00
|
|
|
echo ++ $1/$2 made 1>&2
|
1985-04-14 23:26:24 +00:00
|
|
|
else
|
1991-10-16 13:28:48 +00:00
|
|
|
echo ++ $1/$2 not present 1>&2
|
1985-04-14 23:26:24 +00:00
|
|
|
fi
|