#!/bin/sh 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 elif ( cd $DESTDIR/$1 ; make distr ) > /dev/null 2>&1 then echo ++ $1/$2 made 1>&2 elif ( cd $DESTDIR/$1 ; make $2 ) > /dev/null 2>&1 then echo ++ $1/$2 made 1>&2 else echo ++ $1/$2 not present 1>&2 fi