- if [ -f $DESTDIR/$1/$2 ]
- then
- :
- elif grep LIST $DESTDIR/$1/.distr >/dev/null 2>&1 &&
- (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
- else
- echo ++ $1/$2 not present
- fi
- case $2 in
- LIST) if (test -r $DESTDIR/$1/`head -1 $DESTDIR/$1/LIST`) >/dev/null 2>&1
- then echo ++ LIST files must be in .distr before their libraries!!!
- fi ;;
- esac
|