From 9bc10c093aa7ded9bff47b4ba3b992f38f99649f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 6 Oct 2005 12:07:58 +0000 Subject: [PATCH] bugfix: avoid diversion in "make opt" --- helm/matita/library/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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: -- 2.39.2