diff options
| author | Pierre Letouzey | 2016-06-08 15:56:40 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-10 19:50:37 +0200 |
| commit | 282914c00d29565ec0fbe9d3a89163f9d3cb5141 (patch) | |
| tree | 42263ba9cb24615e86f35a941784c05eca22fd53 | |
| parent | 509c30c93dca8ca8c78f1da1eefc056226d90346 (diff) | |
coq_makefile: fix a crucial typo in e9c57a3
| -rw-r--r-- | tools/coq_makefile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index ec039aae6a..c8dc4a8de1 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -434,7 +434,7 @@ let implicit () = print "\t$(HIDE)$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -shared -o $@ $<\n\n"; print "$(MLLIBFILES:.mllib=.cmxs): %.cmxs: %.cmxa\n"; print "\t$(SHOW)'CAMLOPT -shared -o $@'\n"; - print "\t(HIDE)$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -linkall -shared -o $@ $<\n\n" + print "\t$(HIDE)$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -linkall -shared -o $@ $<\n\n" in let mllib_rules () = print "$(MLLIBFILES:.mllib=.cma): %.cma: | %.mllib\n"; |