empty goal patched

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 07720651ae7034666bce184d995dd1c4e35c55f3..39c99255bbbcc416f6a37220fcf63b84ecc77f00 100644 (file)
--- 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