diff options
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.61 1995/09/16 23:22:39 gibbs Exp $ +# $Id: Makefile,v 1.62 1995/09/17 03:38:54 jkh Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include and MOST of /usr/lib @@ -306,13 +306,15 @@ libraries: tools: @echo "--------------------------------------------------------------" - @echo " Rebuilding ${DESTDIR} C compiler, make, and zic(8)" + @echo " Rebuilding ${DESTDIR} C compiler, make, symorder and zic(8)" @echo "--------------------------------------------------------------" @echo cd ${.CURDIR}/gnu/usr.bin/cc && \ ${MAKE} depend all install ${CLEANDIR} ${OBJDIR} cd ${.CURDIR}/usr.bin/make && \ ${MAKE} depend all install ${CLEANDIR} ${OBJDIR} + cd ${.CURDIR}/usr.bin/symorder && \ + ${MAKE} depend all install ${CLEANDIR} ${OBJDIR} cd ${.CURDIR}/usr.sbin/zic && \ ${MAKE} depend all install ${CLEANDIR} ${OBJDIR} |