From 92500502aa145675b685cf9d81803c0bdcb2d6b8 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 20 Jul 2005 13:37:47 +0000 Subject: [PATCH] New target cleantests. --- helm/matita/Makefile.in | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in index 44df23874..3d59960c0 100644 --- a/helm/matita/Makefile.in +++ b/helm/matita/Makefile.in @@ -165,7 +165,10 @@ tests: matitac matitadep matitaclean tests.opt: matitac.opt matitadep.opt matitaclean.opt @(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt) @(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt) -.PHONY: tests tests.opt +cleantests: matitaclean + @(cd library && make clean) + @(cd tests && make clean) +.PHONY: tests tests.opt cleantests tags: TAGS .PHONY: TAGS -- 2.39.2