diff options
| author | Jordan K. Hubbard <jkh@FreeBSD.org> | 1996-03-11 14:59:10 +0000 |
|---|---|---|
| committer | Jordan K. Hubbard <jkh@FreeBSD.org> | 1996-03-11 14:59:10 +0000 |
| commit | 0b802df847d086d394b29ed863fa53e347d64611 (patch) | |
| tree | 76dd9ef4b6bcaecaf192b251f689e3c00717c1f4 | |
| parent | cd55bf51302f527980ab9b4ff2777382d0aeb19a (diff) | |
Notes
| -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 "--------------------------------------------------------------" |