X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Ftests%2Fbad_tests%2FMakefile;h=1b955ff184597b0c65405b2e1bf46d26ab25b2ac;hb=975e536db4920307acb78de083621491f0566de1;hp=19ff97412bf6245017bb7a10a1c65bdeda94ba6d;hpb=30028f3f9d4109822f998e2d064b00696db6db59;p=helm.git

diff --git a/helm/matita/tests/bad_tests/Makefile b/helm/matita/tests/bad_tests/Makefile
index 19ff97412..1b955ff18 100644
--- a/helm/matita/tests/bad_tests/Makefile
+++ b/helm/matita/tests/bad_tests/Makefile
@@ -32,10 +32,13 @@ verbose:
 %.opt:
 	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
-clean:
+clean_:
+	rm -r __*not_for_matita
+
+clean: clean_
 	$(H)$(MATITACLEAN) $(SRC)
 
-cleanall:
+cleanall: clean_
 	$(H)rm -f $(SRC:%.ma=%.moo)
 	$(MATITACLEAN) all