aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre Letouzey2013-12-20 17:45:22 +0100
committerPierre Letouzey2013-12-20 18:40:39 +0100
commitd1824e8e6f472385d790c52792c7bf4a5adde41d (patch)
tree62529e41f8f73944c11e4f215974fad60134f92e
parent60c390951cb2d771c16758a84bf592d06769da14 (diff)
Makefile.build: avoid a -pp
-rw-r--r--Makefile.build3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build
index f0a4f9c526..c71c719a6c 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -744,7 +744,8 @@ dev/printers.cma: | dev/printers.mllib.d
grammar/grammar.cma: | grammar/grammar.mllib.d
$(SHOW)'Testing $@'
@touch test.ml4
- $(HIDE)$(OCAMLC) $(MLINCLUDES) $(BYTEFLAGS) -pp '$(CAMLP4O) -I $(CAMLLIB) $^ -impl' -impl test.ml4 -o test-grammar
+ $(HIDE)$(CAMLP4O) -I $(CAMLLIB) $^ -impl test.ml4 -o test.ml
+ $(HIDE)$(OCAMLC) $(MLINCLUDES) $(BYTEFLAGS) test.ml -o test-grammar
@rm -f test-grammar test.*
$(SHOW)'OCAMLC -a $@'
$(HIDE)$(OCAMLC) $(MLINCLUDES) $(BYTEFLAGS) $^ -linkall -a -o $@