use ${MAKE} rather than "make", as suggested by Roland McGrath

This commit is contained in:
cgd 1993-12-22 04:58:02 +00:00
parent 8a3e18b590
commit 0be07477eb
1 changed files with 3 additions and 3 deletions

View File

@ -1,4 +1,4 @@
# $Id: Makefile.inc,v 1.4 1993/10/23 02:33:19 cgd Exp $
# $Id: Makefile.inc,v 1.5 1993/12/22 04:58:02 cgd Exp $
#
# NOTE: $S must correspond to the top of the 'sys' tree
@ -15,10 +15,10 @@ KERNLIB_PROF= $(KERNLIBDIR)/libkern_p.a
$(KERNLIB): .NOTMAIN __always_make_kernlib
@echo making sure the kern library is up to date...
@(cd $(KERNDIR) ; make)
@(cd $(KERNDIR) ; $(MAKE))
$(KERNLIB_PROF): .NOTMAIN __always_make_kernlib
@echo making sure the profiled kern library is up to date...
@(cd $(KERNDIR) ; make)
@(cd $(KERNDIR) ; $(MAKE))
__always_make_kernlib: .NOTMAIN