several changes

1990-07-30 14:32:43 +00:00
parent 3c10a60011
commit 09d156b96a
6 changed files with 12 additions and 33 deletions
--- a/distr/mkf
+++ b/distr/mkf
@@ -6,6 +6,9 @@ elif grep LIST $DESTDIR/$1/.distr >/dev/null 2>&1 &&
     ${DA-false} "$1" "$2"
 then
 :	Fetched library contents one by one and put them together
+elif ( cd $DESTDIR/$1 ; make $2 ) > /dev/null 2>&1
+then
+	echo ++ $1/$2 made
 else
 	echo ++ $1/$2 not present
 fi