From 71ad90909af2440cbc25dd70607bef0f5bfd3323 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 27 Aug 2009 09:47:30 +0000
Subject: Remove "-ccopt -g" options: not really useful and causing problems
 with flexdll in the Win32/mingw port of Caml.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1140 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cil/ocamlutil/Makefile.ocaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'cil/ocamlutil/Makefile.ocaml')

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)
-- 
cgit