From 5050f6563a001746b6f5e45b4450e216a961482c Mon Sep 17 00:00:00 2001
From: Takafumi Saikawa <tscompor@gmail.com>
Date: Tue, 23 Jul 2024 23:24:59 +0900
Subject: [PATCH] use MAKE instead of make for recursive calls

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 1735307..775db0a 100644
--- 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