From 4e0ffb627524e3a251ee9e82ed88e1ed45e26b16 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 29 Sep 2015 16:02:56 +0200
Subject: Deactivate the debug functions for none advanced targets.

---
 debug/DebugInit.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug')

diff --git a/debug/DebugInit.ml b/debug/DebugInit.ml
index e0c435cd..6a50b020 100644
--- a/debug/DebugInit.ml
+++ b/debug/DebugInit.ml
@@ -74,7 +74,7 @@ let init_none () =
   implem.exists_section <- (fun _ -> true)
 
 let init () =
-  if !Clflags.option_g then
+  if !Clflags.option_g && Configuration.advanced_debug then
     init_debug ()
   else
     init_none ()
-- 
cgit