diff options
Diffstat (limited to 'src/OCamlMakefile')
| -rw-r--r-- | src/OCamlMakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/OCamlMakefile b/src/OCamlMakefile index cc71121..ac2cd9c 100644 --- a/src/OCamlMakefile +++ b/src/OCamlMakefile @@ -142,13 +142,13 @@ NCRESULT := $(addsuffix $(NCSUFFIX), $(RESULT)) TOPRESULT := $(addsuffix $(TOPSUFFIX), $(RESULT)) ifndef OCAMLC - OCAMLC := ocamlc -g + OCAMLC := ocamlc -g -unsafe-string endif export OCAMLC ifndef OCAMLOPT - OCAMLOPT := ocamlopt -g + OCAMLOPT := ocamlopt -g -unsafe-string endif export OCAMLOPT |