diff options
| author | Garrett Wollman <wollman@FreeBSD.org> | 1995-01-19 22:41:25 +0000 |
|---|---|---|
| committer | Garrett Wollman <wollman@FreeBSD.org> | 1995-01-19 22:41:25 +0000 |
| commit | 562e312d139cfc7c699455a4934114bf90cbc285 (patch) | |
| tree | 376447c3009d82ad287265ba1d6a29198d4c8973 /Makefile | |
| parent | 8a256cf77b2de0e7c301d751b2017edce5078f2d (diff) | |
Notes
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 "--------------------------------------------------------------" |