diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.33 1995/01/11 11:52:50 jkh Exp $ +# $Id: Makefile,v 1.34 1995/01/13 21:00:05 wollman Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include and MOST of /usr/lib @@ -234,6 +234,11 @@ lib-tools: ${MAKE} depend all install ${CLEANDIR} ${OBJDIR} cd ${.CURDIR}/usr.bin/nm && \ ${MAKE} depend all install ${CLEANDIR} ${OBJDIR} + cd ${.CURDIR}/usr.bin/compile_et && \ + ${MAKE} depend all install ${CLEANDIR} ${OBJDIR} && \ + rm -f /usr/sbin/compile_et + cd ${.CURDIR}/usr.bin/mk_cmds && \ + ${MAKE} depend all install ${CLEANDIR} ${OBJDIR} libraries: @echo "--------------------------------------------------------------" |