diff options
| author | Pierre Letouzey | 2016-06-08 15:56:40 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-08 15:56:40 +0200 |
| commit | a7e9ee63bfdd879ec1bf8737683830db6570369f (patch) | |
| tree | cabb2b2d8990f53cc05555a5d8a1cffaf4ac9548 | |
| parent | f6ce65b4d49f0a3a3af7e0e7811934136f59943c (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"; |