From 711cea9fc37e777487abc815730aacde2b00aef3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 28 Jun 2016 17:04:56 +0200
Subject: Activate advanced debug information for arm, ia32.

The configuration advanced debug is removed and now full debug
information is also generated for ia32 and arm.
Bug 17609
---
 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 462ca2d3..b3fedb00 100644
--- a/debug/DebugInit.ml
+++ b/debug/DebugInit.ml
@@ -60,7 +60,7 @@ let init_none () =
   implem := default_implem
 
 let init () =
-  if !Clflags.option_g && Configuration.advanced_debug then
+  if !Clflags.option_g then
     init_debug ()
   else
     init_none ()
-- 
cgit