Many bugs in the Makefile fixed.

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index da10c563abe1042ec09f14833b6ea941cfbd619d..7a553445d20c4fcca7b5445785f85bb9131112fa 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -160,11 +160,11 @@ distclean: clean
        rm -f configure matita.conf.xml.sample
 
 tests: matitac matitadep matitaclean
-       @(cd library && make clean all)
-       @(cd tests && make clean all)
+       @(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
+       @(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
 tests.opt: matitac.opt matitadep.opt matitaclean.opt
-       @(cd library && make clean.opt opt)
-       @(cd tests && make clean.opt opt)
+       @(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
+       @(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
 .PHONY: tests tests.opt
 
 tags: TAGS