From 95693154ab5d5f7dc2d4ac541e5f4b543b9b43f3 Mon Sep 17 00:00:00 2001 From: peter Date: Mon, 14 Oct 1996 12:58:47 +0000 Subject: oops, how did this get into the reinstall target? :-] Must have been a cut/paste foulup... The whole idea of 'make reinstall' is that it doesn't build anything from the source server mount. --- Makefile | 17 +---------------- 1 file changed, 1 insertion(+), 16 deletions(-) diff --git a/Makefile b/Makefile index a5ecf0c..a98fd10 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.105 1996/10/05 18:36:38 ache Exp $ +# $Id: Makefile,v 1.106 1996/10/06 02:17:43 jkh Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include @@ -241,21 +241,6 @@ reinstall: cd ${.CURDIR} && ${MAKE} mk @echo @echo "--------------------------------------------------------------" - @echo " Rebuilding /usr/include" - @echo "--------------------------------------------------------------" - cd ${.CURDIR} && ${MAKE} includes - @echo - @echo "--------------------------------------------------------------" - @echo " Rebuilding dependencies" - @echo "--------------------------------------------------------------" - cd ${.CURDIR} && ${MAKE} depend - @echo - @echo "--------------------------------------------------------------" - @echo " Building everything.." - @echo "--------------------------------------------------------------" - cd ${.CURDIR} && ${MAKE} all - @echo - @echo "--------------------------------------------------------------" @echo " Installing everything.." @echo "--------------------------------------------------------------" cd ${.CURDIR} && ${MAKE} install -- cgit v1.1