Merge pull request #92 from t6s/fix_recursive_make

use $(MAKE) instead of +make for recursive calls in Makefile
coq-community · Jul 23, 2024 · 1f014ff · 1f014ff
2 parents 379748e + 5050f65
commit 1f014ff
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -1,8 +1,8 @@
 all: Makefile.coq
-	+make -f Makefile.coq all
+	$(MAKE) -f Makefile.coq all
 
 clean: Makefile.coq
-	+make -f Makefile.coq clean
+	$(MAKE) -f Makefile.coq clean
 	rm -f Makefile.coq Makefile.coq.conf
 
 _CoqProject:;
@@ -11,6 +11,6 @@ Makefile.coq: _CoqProject
 	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
 
 %: Makefile.coq
-	+make -f Makefile.coq $@
+	$(MAKE) -f Makefile.coq $@
 
 .PHONY: all clean