From: Claudio Sacerdoti Coen Date: Wed, 20 Jul 2005 13:37:47 +0000 (+0000) Subject: New target cleantests. X-Git-Tag: V_0_7_2~147 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=92500502aa145675b685cf9d81803c0bdcb2d6b8;p=helm.git New target cleantests. --- diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in index 44df23874..3d59960c0 100644 --- a/helm/matita/Makefile.in +++ b/helm/matita/Makefile.in @@ -165,7 +165,10 @@ tests: matitac matitadep matitaclean tests.opt: matitac.opt matitadep.opt matitaclean.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 +cleantests: matitaclean + @(cd library && make clean) + @(cd tests && make clean) +.PHONY: tests tests.opt cleantests tags: TAGS .PHONY: TAGS