X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=3d59960c0e68c37c58f0d8e8a9707078e289859c;hb=1bcad789810fd37d346e690f18557aeedc6fe08c;hp=44df23874bd3bf04f9f0f2cde98068308af80071;hpb=3e86f296f53e98401b281ce96fc7ba545dbd05b4;p=helm.git

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