diff options
author | jkh <jkh@FreeBSD.org> | 1996-03-11 14:59:10 +0000 |
---|---|---|
committer | jkh <jkh@FreeBSD.org> | 1996-03-11 14:59:10 +0000 |
commit | 359cd94d64fe4909a1944c74098ae792137cf8af (patch) | |
tree | 76dd9ef4b6bcaecaf192b251f689e3c00717c1f4 /Makefile | |
parent | 5f47db151a4534e40bcd6e17b22f9ce7da1dcb07 (diff) | |
download | FreeBSD-src-359cd94d64fe4909a1944c74098ae792137cf8af.zip FreeBSD-src-359cd94d64fe4909a1944c74098ae792137cf8af.tar.gz |
Add a hint that a make world is done so people don't think that the last
command (makewhatis) is running forver. :)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 "--------------------------------------------------------------" |