From 451f477b86087ea9d8c85dcbc6f91cad6bbbf3f5 Mon Sep 17 00:00:00 2001
From: jforest
Date: Mon, 26 May 2008 10:22:10 +0000
Subject: the -g option is not recongnized in ocaml < 3.10.0

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10984 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.build b/Makefile.build
index a5c6d6e5be..6577d0d0db 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -181,7 +181,7 @@ $(COQTOP): $(ORDER_ONLY_SEP) $(BESTCOQTOP)
 LOCALCHKLIBS:=-I checker -I lib -I config -I kernel
 CHKLIBS:=$(LOCALCHKLIBS) -I $(MYCAMLP4LIB)
 CHKBYTEFLAGS:=$(CHKLIBS) $(CAMLDEBUG) $(USERFLAGS)
-CHKOPTFLAGS:=$(CHKLIBS) $(CAMLDEBUG) $(CAMLTIMEPROF) $(USERFLAGS)
+CHKOPTFLAGS:=$(CHKLIBS) $(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS)
 
 $(CHICKENOPT): checker/check.cmxa checker/main.ml
 	$(SHOW)'OCAMLOPT -o $@'
-- 
cgit v1.2.3