From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 6 Oct 2005 12:07:58 +0000 (+0000)
Subject: bugfix: avoid diversion in "make opt"
X-Git-Tag: V_0_7_2_3~237
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9bc10c093aa7ded9bff47b4ba3b992f38f99649f;p=helm.git

bugfix: avoid diversion in "make opt"
---

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 5c1ce6409..607e57f41 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -24,13 +24,13 @@ H=@
 all: $(SRC:%.ma=%.mo)
 
 opt:
-	$(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
+	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' all
 
 verbose:
-	$(H)make MATITAC="$(VERBOSEMATITAC)" MATITACLEAN="$(MATITACLEAN)" MATITADEP="$(MATITADEP)" all
+	$(H)$(MAKE) MATITAC='$(VERBOSEMATITAC)' MATITACLEAN='$(MATITACLEAN)' MATITADEP='$(MATITADEP)' all
 
 %.opt:
-	$(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
+	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
 clean:
 	$(H)$(MATITACLEAN) $(SRC)
@@ -41,7 +41,7 @@ cleanall:
 
 depend:
 	rm -f $(DEPEND_NAME)
-	make $(DEPEND_NAME)
+	$(MAKE) $(DEPEND_NAME)
 .PHONY: depend
 
 %.moo: