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 342d4c4..cc71121 100644 --- a/src/OCamlMakefile +++ b/src/OCamlMakefile @@ -142,13 +142,13 @@ NCRESULT := $(addsuffix $(NCSUFFIX), $(RESULT)) TOPRESULT := $(addsuffix $(TOPSUFFIX), $(RESULT)) ifndef OCAMLC - OCAMLC := ocamlc + OCAMLC := ocamlc -g endif export OCAMLC ifndef OCAMLOPT - OCAMLOPT := ocamlopt + OCAMLOPT := ocamlopt -g endif export OCAMLOPT |