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