tests are now handled with a standard Makefile that does not use do_tests.sh

[helm.git] / helm / software / matita / template_makefile.in

diff --git a/helm/software/matita/template_makefile.in b/helm/software/matita/template_makefile.in
index d24c75b0ff36858fa85c02248929546a73af01bd..6a66e269ac133b74aca98d09c28bd7d619ef26a0 100644 (file)
--- a/helm/software/matita/template_makefile.in
+++ b/helm/software/matita/template_makefile.in
@@ -19,7 +19,11 @@ clean:
        rm -f $(TODO)
 
 %.moo:
-       $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<
+       if [ -z "$<" ]; then \
+               echo "missing dependencies for $@"; \
+       else \
+               $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<; \
+       fi
 
 @DEPFILE@ : $(SRC)
        $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@