diff options
| author | Paul Richards <paul@FreeBSD.org> | 1996-03-24 13:16:45 +0000 |
|---|---|---|
| committer | Paul Richards <paul@FreeBSD.org> | 1996-03-24 13:16:45 +0000 |
| commit | 03130ccadf3cff2378d1d7facfc03fcfa3c5e887 (patch) | |
| tree | 1ec23e6fb90db422ba94f5c93ccb50b7536e1ad6 | |
| parent | a258bd3f12ab096b338878f9e891e90ad5673e71 (diff) | |
Notes
| -rw-r--r-- | Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.76 1996/02/17 14:23:25 peter Exp $ +# $Id: Makefile,v 1.77 1996/03/11 14:59:10 jkh Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include and MOST of /usr/lib @@ -100,7 +100,7 @@ CLEANDIR= cleandir .endif .endif -world: hierarchy mk $(WORLD_CLEANDIST) include-tools includes lib-tools libraries build-tools +world: hierarchy mk $(WORLD_CLEANDIST) bootstrap include-tools includes lib-tools libraries build-tools @echo "--------------------------------------------------------------" @echo " Rebuilding ${DESTDIR} The whole thing" @echo "--------------------------------------------------------------" @@ -109,6 +109,12 @@ world: hierarchy mk $(WORLD_CLEANDIST) include-tools includes lib-tools librarie cd ${.CURDIR}/share/man && ${MAKE} makedb @echo "make world completed on `date`" +bootstrap: + cd ${.CURDIR}/usr.bin/xlint && ${MAKE} lint1 lint2 xlint + cd ${.CURDIR}/usr.bin/xlint/lint1 && ${MAKE} install + cd ${.CURDIR}/usr.bin/xlint/lint2 && ${MAKE} install + cd ${.CURDIR}/usr.bin/xlint/xlint && ${MAKE} install + reinstall: hierarchy mk includes @echo "--------------------------------------------------------------" @echo " Reinstall ${DESTDIR} The whole thing" |