From 84d80c68bd584e2c0a2b96dc2f1d5923cea667d8 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 1 Jul 2005 17:39:20 +0000 Subject: [PATCH] make tests and make tests.opt now call their counterparts in library and tests --- helm/matita/Makefile.in | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in index bed070a51..b0b1fe522 100644 --- 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 -- 2.39.2