diff options
| -rw-r--r-- | Makefile.build | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index aa2da49a26..3887dfdec7 100644 --- a/Makefile.build +++ b/Makefile.build @@ -812,8 +812,7 @@ endif # NOT to generate object code. %.ml4.d: %.ml4 $(SHOW)'CAMLP4DEPS $<' - $(HIDE)echo > "$@" -# $(HIDE)( echo -n '$*.cmo $*.cmx $*.ml4.ml.d: ' && $(CAMLP4DEPS) "$<" ) > "$@" + $(HIDE)( echo -n '$*.cmo $*.cmx $*.ml4.ml.d: ' && $(CAMLP4DEPS) "$<" ) > "$@" %.ml4.ml.d: %.ml4 | $(GENFILES) $(ML4FILES:.ml4=.ml) %.ml4.d #Critical section: |