diff options
| author | letouzey | 2012-09-20 17:25:22 +0000 |
|---|---|---|
| committer | letouzey | 2012-09-20 17:25:22 +0000 |
| commit | 907c5df7bad31404e9f4a8384e4cc43236e4ba9a (patch) | |
| tree | d3fc6793ee224fca4504335f2bb46b8913517ce6 | |
| parent | ac98362d168bc96433bf09ced8ee992bce76483e (diff) | |
Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is used)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15824 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index bea461131c..a3c706e4b4 100644 --- a/Makefile.build +++ b/Makefile.build @@ -743,11 +743,11 @@ toplevel/mltop.optml: toplevel/mltop.ml4 config/Makefile # no camlp4deps here ide/coqide_main.ml: ide/coqide_main.ml4 $(SHOW)'CAMLP4O $<' - $(HIDE)$(CAMLP4O) $(CAMLP4USE) -impl $< -o $@ + $(HIDE)$(CAMLP4O) $(PR_O) $(CAMLP4USE) -impl $< -o $@ ide/coqide_main_opt.ml: ide/coqide_main.ml4 config/Makefile # no camlp4deps here $(SHOW)'CAMLP4O $<' - $(HIDE)$(CAMLP4O) $(CAMLP4USE) -D$(IDEOPTINT) -impl $< -o $@ + $(HIDE)$(CAMLP4O) $(PR_O) $(CAMLP4USE) -D$(IDEOPTINT) -impl $< -o $@ # pretty printing of the revision number when compiling a checked out |