From 44ca09e150b9080c5abd93191b7ee6e0f2dbb4f6 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 31 Jan 2006 12:14:00 +0000 Subject: [PATCH] fix --- helm/ocaml/cic_proof_checking/Makefile | 9 +++------ helm/ocaml/metadata/Makefile | 16 ++++++---------- 2 files changed, 9 insertions(+), 16 deletions(-) diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile index c81573f51..bb9647926 100644 --- a/helm/ocaml/cic_proof_checking/Makefile +++ b/helm/ocaml/cic_proof_checking/Makefile @@ -32,14 +32,11 @@ all: all_utilities opt: opt_utilities all_utilities: - @echo " building: utilities" - @$(MAKE) -C utilities/ all --no-print-directory + @$(MAKE) -C utilities/ all opt_utilities: - @echo " building: utilities" - @$(MAKE) -C utilities/ opt --no-print-directory + @$(MAKE) -C utilities/ opt clean: clean_utilities clean_utilities: - @echo " cleaning: utilities" - @$(MAKE) -C utilities/ clean --no-print-directory + @$(MAKE) -C utilities/ clean diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile index 80dc4133e..0a2496451 100644 --- a/helm/ocaml/metadata/Makefile +++ b/helm/ocaml/metadata/Makefile @@ -18,26 +18,22 @@ all: all_table_creator all_extractor opt: opt_table_creator opt_extractor all_table_creator: - @echo " building: table_creator" - @make -C table_creator/ all --no-print-directory + @make -C table_creator/ all opt_table_creator: - @echo " building: table_creator" - @make -C table_creator/ opt --no-print-directory + @make -C table_creator/ opt all_extractor: - @echo " building: extractor" - @make -C extractor/ all --no-print-directory + @make -C extractor/ all opt_extractor: - @echo " building: extractor" - @make -C extractor/ opt --no-print-directory + @make -C extractor/ opt clean: clean_table_creator clean_extractor clean_table_creator: @echo " cleaning: table_creator" - @make -C table_creator/ clean --no-print-directory + @make -C table_creator/ clean clean_extractor: @echo " cleaning: extractor" - @make -C extractor/ clean --no-print-directory + @make -C extractor/ clean -- 2.39.2