]> matita.cs.unibo.it Git - helm.git/commitdiff
added cleantest target (removes tests/*.test)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Feb 2004 15:01:56 +0000 (15:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Feb 2004 15:01:56 +0000 (15:01 +0000)
helm/gTopLevel/Makefile

index e51e1a6e84bd0a5ec56ed7cbb183cdb6f0181711..d668434534736a4119bad4414da72a32b43977d5 100644 (file)
@@ -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: