From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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