From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 3 Feb 2004 15:01:56 +0000 (+0000)
Subject: added cleantest target (removes tests/*.test)
X-Git-Tag: V_0_2_3~87
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4dbc13884c2bce99aff15890f65370ca85f388ad;p=helm.git

added cleantest target (removes tests/*.test)
---

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: