From 359cd94d64fe4909a1944c74098ae792137cf8af Mon Sep 17 00:00:00 2001 From: jkh Date: Mon, 11 Mar 1996 14:59:10 +0000 Subject: Add a hint that a make world is done so people don't think that the last command (makewhatis) is running forver. :) --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 4418ca0..c2b1581 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.75 1996/02/11 08:58:01 markm Exp $ +# $Id: Makefile,v 1.76 1996/02/17 14:23:25 peter Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include and MOST of /usr/lib @@ -107,6 +107,7 @@ world: hierarchy mk $(WORLD_CLEANDIST) include-tools includes lib-tools librarie @echo ${MAKE} depend all install cd ${.CURDIR}/share/man && ${MAKE} makedb + @echo "make world completed on `date`" reinstall: hierarchy mk includes @echo "--------------------------------------------------------------" -- cgit v1.1