From b3c67667b7121b7f2e50700ec6da4bd780dee426 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 16 Mar 2015 12:23:29 +0100
Subject: Started implementing the printing functions for the debug info. Added
 a global target dependend option to activate the printing only for targets
 wher it works.

---
 driver/Configuration.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'driver/Configuration.ml')

diff --git a/driver/Configuration.ml b/driver/Configuration.ml
index 0012dc0c..48c31767 100644
--- a/driver/Configuration.ml
+++ b/driver/Configuration.ml
@@ -93,4 +93,10 @@ let asm_supports_cfi =
   | "false" -> false
   | v -> bad_config "asm_supports_cfi" [v]
 
+let advanced_debug =
+  match get_config_string "advanced_debug" with
+  | "true" -> true
+  | "false" -> false
+  | v -> bad_config "advanced_debug" [v]
+
 let version = get_config_string "version"
-- 
cgit