1 1.7 ws # $Id: Makefile.inc,v 1.7 1994/01/09 17:22:54 ws Exp $ 2 1.1 cgd # 3 1.1 cgd # NOTE: $S must correspond to the top of the 'sys' tree 4 1.1 cgd 5 1.1 cgd KERNDIR= $S/lib/libkern 6 1.1 cgd 7 1.6 davidb KERNLIBDIR!=cd $(KERNDIR); \ 8 1.7 ws printf "xxx:\n\techo \$${.OBJDIR}\n" | $(MAKE) -r -s -f - xxx 9 1.1 cgd 10 1.1 cgd KERNLIB= $(KERNLIBDIR)/libkern.a 11 1.1 cgd KERNLIB_PROF= $(KERNLIBDIR)/libkern_p.a 12 1.1 cgd 13 1.2 cgd $(KERNLIB): .NOTMAIN __always_make_kernlib 14 1.1 cgd @echo making sure the kern library is up to date... 15 1.5 cgd @(cd $(KERNDIR) ; $(MAKE)) 16 1.1 cgd 17 1.2 cgd $(KERNLIB_PROF): .NOTMAIN __always_make_kernlib 18 1.1 cgd @echo making sure the profiled kern library is up to date... 19 1.5 cgd @(cd $(KERNDIR) ; $(MAKE)) 20 1.1 cgd 21 1.2 cgd __always_make_kernlib: .NOTMAIN 22