diff options
Diffstat (limited to 'sys/lib')
| -rw-r--r-- | sys/lib/libkern/Makefile.inc | 8 | ||||
| -rw-r--r-- | sys/lib/libnetboot/Makefile.inc | 6 |
2 files changed, 7 insertions, 7 deletions
diff --git a/sys/lib/libkern/Makefile.inc b/sys/lib/libkern/Makefile.inc index e215469a575..88b5f5d3e22 100644 --- a/sys/lib/libkern/Makefile.inc +++ b/sys/lib/libkern/Makefile.inc @@ -1,4 +1,4 @@ -# $Id: Makefile.inc,v 1.1 1993/10/13 05:55:20 cgd Exp $ +# $Id: Makefile.inc,v 1.2 1993/10/13 06:17:16 cgd Exp $ # # NOTE: $S must correspond to the top of the 'sys' tree @@ -13,12 +13,12 @@ KERNLIBDIR= $(KERNDIR) KERNLIB= $(KERNLIBDIR)/libkern.a KERNLIB_PROF= $(KERNLIBDIR)/libkern_p.a -$(KERNLIB): __always_make_kernlib +$(KERNLIB): .NOTMAIN __always_make_kernlib @echo making sure the kern library is up to date... @(cd $(KERNDIR) ; make libkern.a) -$(KERNLIB_PROF): __always_make_kernlib +$(KERNLIB_PROF): .NOTMAIN __always_make_kernlib @echo making sure the profiled kern library is up to date... @(cd $(KERNDIR) ; make libkern_p.a) -__always_make_kernlib: +__always_make_kernlib: .NOTMAIN diff --git a/sys/lib/libnetboot/Makefile.inc b/sys/lib/libnetboot/Makefile.inc index f8bdd4f889d..0a453453e3e 100644 --- a/sys/lib/libnetboot/Makefile.inc +++ b/sys/lib/libnetboot/Makefile.inc @@ -1,4 +1,4 @@ -# $Id: Makefile.inc,v 1.2 1993/10/13 05:55:57 cgd Exp $ +# $Id: Makefile.inc,v 1.3 1993/10/13 06:17:33 cgd Exp $ # # NOTE: $S must correspond to the top of the 'sys' tree @@ -12,8 +12,8 @@ NETBOOTLIBDIR= $(NETBOOTDIR) NETBOOTLIB= $(NETBOOTLIBDIR)/libnetboot.a -$(NETBOOTLIB): __always_make_netbootlib +$(NETBOOTLIB): .NOTMAIN __always_make_netbootlib @echo making sure the netboot library is up to date... @(cd $(NETBOOTDIR) ; make) -__always_make_netbootlib: +__always_make_netbootlib: .NOTMAIN |
