From 5eb10ed1a0a64b09e36dfb5f29774ada50fd37c6 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 21 Dec 2005 16:24:20 +0000 Subject: [PATCH] fixed -f in clean make tests now compiles coq.ma --- helm/matita/Makefile.in | 2 +- helm/matita/contribs/LAMBDA-TYPES/Makefile | 2 +- helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile | 2 +- helm/matita/tests/Makefile | 2 +- helm/matita/tests/bad_tests/Makefile | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in index 9b7d720ac..4e1d7b5b1 100644 --- a/helm/matita/Makefile.in +++ b/helm/matita/Makefile.in @@ -197,7 +197,7 @@ clean: $(PROGRAMS_UPX) \ $(NULL) -tests: matitac matitadep matitaclean +tests: matitac matitadep matitaclean coq.moo @-(cd library && make -k clean all) @-(cd tests && make -k clean all) @-(cd tests/bad_tests && make -k clean all) diff --git a/helm/matita/contribs/LAMBDA-TYPES/Makefile b/helm/matita/contribs/LAMBDA-TYPES/Makefile index 5e651970a..42bd7b8fd 100644 --- a/helm/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/matita/contribs/LAMBDA-TYPES/Makefile @@ -33,7 +33,7 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -r __*not_for_matita + rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) diff --git a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile index 43221d3ca..61bec6bc9 100644 --- a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile +++ b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile @@ -33,7 +33,7 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -r __*not_for_matita + rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile index ee1f6bbe9..96fc73a41 100644 --- a/helm/matita/tests/Makefile +++ b/helm/matita/tests/Makefile @@ -33,7 +33,7 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -r __*not_for_matita + rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) diff --git a/helm/matita/tests/bad_tests/Makefile b/helm/matita/tests/bad_tests/Makefile index 1b955ff18..d2a45878d 100644 --- a/helm/matita/tests/bad_tests/Makefile +++ b/helm/matita/tests/bad_tests/Makefile @@ -33,7 +33,7 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -r __*not_for_matita + rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) -- 2.39.2