diff options
| author | peter <peter@FreeBSD.org> | 1996-02-17 14:23:25 +0000 |
|---|---|---|
| committer | peter <peter@FreeBSD.org> | 1996-02-17 14:23:25 +0000 |
| commit | 62fe26383b8d71d208263a5a32481f3e320ab10f (patch) | |
| tree | c13307878a21a0803ca98d2b53febcf614b315c5 /Makefile | |
| parent | 8b49f04c0870575c2e9ae15309ad3511fd2b37fc (diff) | |
| download | FreeBSD-src-62fe26383b8d71d208263a5a32481f3e320ab10f.zip FreeBSD-src-62fe26383b8d71d208263a5a32481f3e320ab10f.tar.gz | |
do the 'include-tools' as part of the world target (like lib-tools and
build-tools) so that a "make includes" doesn't spam your build tree.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.74 1996/01/30 05:46:35 nate Exp $ +# $Id: Makefile,v 1.75 1996/02/11 08:58:01 markm 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) includes lib-tools libraries build-tools +world: hierarchy mk $(WORLD_CLEANDIST) include-tools includes lib-tools libraries build-tools @echo "--------------------------------------------------------------" @echo " Rebuilding ${DESTDIR} The whole thing" @echo "--------------------------------------------------------------" @@ -212,7 +212,7 @@ mk: @echo "--------------------------------------------------------------" cd ${.CURDIR}/share/mk && ${MAKE} install -includes: include-tools +includes: @echo "--------------------------------------------------------------" @echo " Rebuilding ${DESTDIR}/usr/include" @echo "--------------------------------------------------------------" |
