diff options
Diffstat (limited to 'cil/ocamlutil/Makefile.ocaml')
| -rw-r--r-- | cil/ocamlutil/Makefile.ocaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cil/ocamlutil/Makefile.ocaml b/cil/ocamlutil/Makefile.ocaml index 1d0673fa..36ac21a5 100644 --- a/cil/ocamlutil/Makefile.ocaml +++ b/cil/ocamlutil/Makefile.ocaml @@ -234,8 +234,8 @@ else COMPILEFLAGS += -ccopt /Zi -ccopt /Od LINKFLAGS += -ccopt /Zi -ccopt /Od else - COMPILEFLAGS += -g -ccopt -g - LINKFLAGS += -g -ccopt -g + COMPILEFLAGS += -g + LINKFLAGS += -g endif CAMLC = $(CAMLDIR)ocamlc -g $(COMPILEFLAGS) CAMLLINK = $(CAMLDIR)ocamlc -custom $(LINKFLAGS) |