From 99246615bc3c84dfb85180869487dd6f432c1a99 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 22 Dec 2005 13:32:45 +0000 Subject: [PATCH] Makefiles made less verbose. --- helm/matita/contribs/LAMBDA-TYPES/Makefile | 8 ++++---- helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile | 8 ++++---- helm/matita/library/Makefile | 8 ++++---- helm/matita/tests/Makefile | 8 ++++---- helm/matita/tests/bad_tests/Makefile | 8 ++++---- 5 files changed, 20 insertions(+), 20 deletions(-) diff --git a/helm/matita/contribs/LAMBDA-TYPES/Makefile b/helm/matita/contribs/LAMBDA-TYPES/Makefile index 42bd7b8fd..5b2b2fa40 100644 --- a/helm/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/matita/contribs/LAMBDA-TYPES/Makefile @@ -33,18 +33,18 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -f __*not_for_matita + $(H)rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) cleanall: clean_ $(H)rm -f $(SRC:%.ma=%.moo) - $(MATITACLEAN) all + $(H)$(MATITACLEAN) all depend: - rm -f $(DEPEND_NAME) - $(MAKE) $(DEPEND_NAME) + $(H)rm -f $(DEPEND_NAME) + $(H)$(MAKE) $(DEPEND_NAME) .PHONY: depend %.moo: diff --git a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile index 61bec6bc9..489b2c135 100644 --- a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile +++ b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile @@ -33,18 +33,18 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -f __*not_for_matita + $(H)rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) cleanall: clean_ $(H)rm -f $(SRC:%.ma=%.moo) - $(MATITACLEAN) all + $(H)$(MATITACLEAN) all depend: - rm -f $(DEPEND_NAME) - $(MAKE) $(DEPEND_NAME) + $(H)rm -f $(DEPEND_NAME) + $(H)$(MAKE) $(DEPEND_NAME) .PHONY: depend %.moo: diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile index b6d061531..fd278eb40 100644 --- a/helm/matita/library/Makefile +++ b/helm/matita/library/Makefile @@ -33,18 +33,18 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -f __*not_for_matita + $(H)rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) cleanall: $(H)rm -f $(SRC:%.ma=%.moo) - $(MATITACLEAN) all + $(H)$(MATITACLEAN) all depend: - rm -f $(DEPEND_NAME) - $(MAKE) $(DEPEND_NAME) + $(H)rm -f $(DEPEND_NAME) + $(H)$(MAKE) $(DEPEND_NAME) .PHONY: depend %.moo: diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile index 96fc73a41..34d4d120c 100644 --- a/helm/matita/tests/Makefile +++ b/helm/matita/tests/Makefile @@ -33,18 +33,18 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -f __*not_for_matita + $(H)rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) cleanall: clean_ $(H)rm -f $(SRC:%.ma=%.moo) - $(MATITACLEAN) all + $(H)$(MATITACLEAN) all depend: - rm -f $(DEPEND_NAME) - $(MAKE) $(DEPEND_NAME) + $(H)rm -f $(DEPEND_NAME) + $(H)$(MAKE) $(DEPEND_NAME) .PHONY: depend %.moo: diff --git a/helm/matita/tests/bad_tests/Makefile b/helm/matita/tests/bad_tests/Makefile index d2a45878d..7620894f2 100644 --- a/helm/matita/tests/bad_tests/Makefile +++ b/helm/matita/tests/bad_tests/Makefile @@ -33,18 +33,18 @@ verbose: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) clean_: - rm -f __*not_for_matita + $(H)rm -f __*not_for_matita clean: clean_ $(H)$(MATITACLEAN) $(SRC) cleanall: clean_ $(H)rm -f $(SRC:%.ma=%.moo) - $(MATITACLEAN) all + $(H)$(MATITACLEAN) all depend: - rm -f $(DEPEND_NAME) - $(MAKE) $(DEPEND_NAME) + $(H)rm -f $(DEPEND_NAME) + $(H)$(MAKE) $(DEPEND_NAME) .PHONY: depend %.moo: -- 2.39.2