bugfix: avoid diversion in "make opt"

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 5c1ce64098a4afac9704f74fec3cab87da25ab58..607e57f41db8ee5a6ce9b57a32f0309f3ff44795 100644 (file)
--- 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: