diff options
| author | Maxime Dénès | 2015-09-17 09:43:02 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-09-17 09:43:02 +0200 |
| commit | fbb3ccdb099170e5a39c9f39512b1ab2503951ea (patch) | |
| tree | 3d0d50439a6972161d34cf6e7600866702a93ad3 | |
| parent | 5a0da4d8ea9b590e30ba9b194789b348be6bbc4f (diff) | |
Revert changes in Makefile.build done as part of 2bc88f9a.
If it was intentional, please commit again separately.
| -rw-r--r-- | Makefile.build | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 0057b71684..6ceff2de95 100644 --- a/Makefile.build +++ b/Makefile.build @@ -94,7 +94,6 @@ HIDE := $(if $(VERBOSE),,@) LOCALINCLUDES=$(addprefix -I , $(SRCDIRS) ) MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB) -CAMLFLAGS:= $(CAMLFLAGS) -w +a-3-4-6-7-9-27-29-32..39-41..42-44-45-48 OCAMLC := $(OCAMLC) $(CAMLFLAGS) OCAMLOPT := $(OCAMLOPT) $(CAMLFLAGS) |