]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/Makefile
added cleantest target (removes tests/*.test)
[helm.git] / 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: