From 6a0b36f13e9b9ebd693cc2b1688ace9905aa4042 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 8 Jul 2015 07:35:38 +0200
Subject: Use the same optimization level for the VM, whatever the debug level.

---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ml b/configure.ml
index 1916e82172..c759782d9d 100644
--- a/configure.ml
+++ b/configure.ml
@@ -396,7 +396,7 @@ let coq_annotate_flag =
   then if program_in_path "ocamlmerlin" then "-bin-annot" else "-dtypes"
   else ""
 
-let cflags = "-Wall -Wno-unused -g " ^ (if !Prefs.debug then "-O1" else "-O2")
+let cflags = "-Wall -Wno-unused -g -O2"
 
 (** * Architecture *)
 
-- 
cgit v1.2.3