From a6f4f8cf8a6b008b7df2c585b04ce27c7be3cc93 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 3 Feb 2006 12:21:32 +0000 Subject: [PATCH] cosmetic fix --- helm/ocaml/tactics/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile index c7bf44694..0b8f4fb69 100644 --- a/helm/ocaml/tactics/Makefile +++ b/helm/ocaml/tactics/Makefile @@ -23,8 +23,9 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) all: tactics.mli: tactics.ml *Tactics.mli *Tactic.mli fourierR.mli ring.mli paramodulation/indexing.mli - echo "(* GENERATED FILE, DO NOT EDIT *)" > $@ - $(OCAMLC) -I paramodulation -i $< >> $@ + @echo " OCAMLC -i $< > $@" + $(H)echo "(* GENERATED FILE, DO NOT EDIT *)" > $@ + $(H)$(OCAMLC) -I paramodulation -i $< >> $@ STATS_EXCLUDE = tactics.mli -- 2.39.2