From 2e10cdcd82bc3ba132b173e984156286f3a3d309 Mon Sep 17 00:00:00 2001
From: Poul-Henning Kamp <phk@FreeBSD.org>
Date: Thu, 26 Oct 1995 09:24:59 +0000
Subject: [PATCH] Changed "tools" to "build-tools". Suggested by: Peter Wemm

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 7c90b6908135..4b994b083607 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-#	$Id: Makefile,v 1.63 1995/10/24 08:37:28 phk Exp $
+#	$Id: Makefile,v 1.64 1995/10/24 18:51:08 nate Exp $
 #
 # Make command line options:
 #	-DCLOBBER will remove /usr/include and MOST of /usr/lib
@@ -92,7 +92,7 @@ CLEANDIR=	clean
 CLEANDIR=	cleandir
 .endif
 
-world:	hierarchy mk cleandist includes lib-tools libraries tools
+world:	hierarchy mk cleandist includes lib-tools libraries build-tools
 	@echo "--------------------------------------------------------------"
 	@echo " Rebuilding ${DESTDIR} The whole thing"
 	@echo "--------------------------------------------------------------"
@@ -306,7 +306,7 @@ libraries:
 		${MAKE} depend all install ${CLEANDIR} ${OBJDIR}
 .endif
 
-tools:
+build-tools:
 	@echo "--------------------------------------------------------------"
 	@echo " Rebuilding ${DESTDIR} C compiler, make, symorder and zic(8)"
 	@echo "--------------------------------------------------------------"