[project @ 2002-04-16 21:29:00 by ken]

Use $(MAKE) rather than literal "make" when making happy-inplace

diff --git a/Makefile b/Makefile
index f3582f8..e5b2eb7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -324,7 +324,7 @@ ifeq "$(HAPPY)" "$(FPTOOLS_TOP_ABS)/happy/src/happy-inplace"
 all :: $(FPTOOLS_TOP_ABS)/happy/src/happy-inplace
 
 $(FPTOOLS_TOP_ABS)/happy/src/happy-inplace : glafp-utils
-       cd happy && make boot all
+       $(MAKE) -C happy boot all
 endif
 
 all ::