From e0327bf79bd5e69dd4a9456c97c8c133b789e835 Mon Sep 17 00:00:00 2001
From: ken <unknown>
Date: Tue, 16 Apr 2002 21:29:00 +0000
Subject: [PATCH] [project @ 2002-04-16 21:29:00 by ken] Use $(MAKE) rather
 than literal "make" when making happy-inplace

---
 Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index f3582f8..e5b2eb7 100644
--- 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 ::
-- 
1.7.10.4