From b9538bc39eb5425bd96435617314bf56a949f2fe Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 27 Jan 2004 13:47:37 +0000 Subject: [PATCH] empty goal patched --- helm/ocaml/Makefile.common.in | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in index 07720651a..39c99255b 100644 --- a/helm/ocaml/Makefile.common.in +++ b/helm/ocaml/Makefile.common.in @@ -91,3 +91,7 @@ endif ifeq ($(MAKECMDGOALS), opt) $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES_OPT) endif + +ifeq ($(MAKECMDGOALS),) + $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES) +endif -- 2.39.2