make tests and make tests.opt now call their counterparts in library and tests

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index bed070a5113122562e7824f2489c90746582f15e..b0b1fe5227fdd24c47ed7f56f56b52cc93de85c6 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -116,9 +116,11 @@ distclean: clean
        rm -rf autom4te.cache/
 
 tests: matitac
-       @scripts/do_tests.sh ./matitac /dev/null tests/*.ma
+       (cd library && make clean all)
+       (cd tests && make clean all)
 tests.opt: matitac.opt
-       @scripts/do_tests.sh ./matitac.opt /dev/null tests/*.ma
+       (cd library && make clean.opt opt)
+       (cd tests && make clean.opt opt)
 .PHONY: tests tests.opt
 
 tags: TAGS