X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;h=d668434534736a4119bad4414da72a32b43977d5;hb=4dbc13884c2bce99aff15890f65370ca85f388ad;hp=e51e1a6e84bd0a5ec56ed7cbb183cdb6f0181711;hpb=54bd214a34224eab8c5ef2a26cb832c8b1ff122f;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index e51e1a6e8..d66843453 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -82,6 +82,8 @@ uninstall:
 
 TESTS := $(patsubst %, %.test, $(wildcard tests/*.cic))
 gentest: $(TESTS)
+cleantest:
+	rm -f $(TESTS)
 tests/%.cic.test: tests/%.cic
 	time ./regtest -gen $<
 test: