diff options
| author | Jordan K. Hubbard <jkh@FreeBSD.org> | 1996-06-20 18:47:04 +0000 |
|---|---|---|
| committer | Jordan K. Hubbard <jkh@FreeBSD.org> | 1996-06-20 18:47:04 +0000 |
| commit | 16a34ebd54044a0c2f4c3886e85bc7408cf1a908 (patch) | |
| tree | 7c920f1e23caced04225fd448d89153dbd473f65 /Makefile | |
| parent | a9ef0b29043a81d821683bc523433255d0166e37 (diff) | |
| download | src-16a34ebd54044a0c2f4c3886e85bc7408cf1a908.tar.gz src-16a34ebd54044a0c2f4c3886e85bc7408cf1a908.zip | |
Add pre-world and post-world hooks so that people can do site specific
cleanup or preinitializion of /usr/src before and after the world target
is run.
Notes
Notes:
svn path=/head/; revision=16550
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.81 1996/06/19 21:19:56 nate Exp $ +# $Id: Makefile,v 1.82 1996/06/20 13:38:15 adam Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include @@ -102,13 +102,21 @@ CLEANDIR= cleandir MK_FLAGS= -DNOMAN -DNOPROFILE -world: hierarchy mk $(WORLD_CLEANDIST) bootstrap include-tools includes lib-tools libraries build-tools +.if !target(pre-world) +pre-world: + @/usr/bin/true +.endif + +world: pre-world hierarchy mk $(WORLD_CLEANDIST) bootstrap include-tools includes lib-tools libraries build-tools @echo "--------------------------------------------------------------" @echo " Rebuilding ${DESTDIR} The whole thing" @echo "--------------------------------------------------------------" @echo ${MAKE} depend all install cd ${.CURDIR}/share/man && ${MAKE} makedb +.if target(post-world) + cd ${.CURDIR} && ${MAKE} post-world +.endif @echo "make world completed on `date`" bootstrap: |