From: Ferruccio Guidi Date: Sun, 24 Feb 2008 19:29:44 +0000 (+0000) Subject: $(H) added :) X-Git-Tag: make_still_working~5577 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8da8820a77f2104dd1bf17c01fa77f75ee31c8fb;hp=6b0d25ba11c8c989674e0d9092fd79dc56b8b1c0;p=helm.git $(H) added :) --- diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile index 601da59af..89f98d24e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile @@ -48,7 +48,7 @@ depend.opt: depends: depend.opt %.ma: %.mma - ../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null + $(H)../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null $(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null $(H)echo $@ `../../matitadep.opt -stdout $@` >> depends