diff options
Diffstat (limited to 'driver/Configuration.ml')
-rw-r--r-- | driver/Configuration.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/driver/Configuration.ml b/driver/Configuration.ml index 237085de..2cea2b80 100644 --- a/driver/Configuration.ml +++ b/driver/Configuration.ml @@ -93,6 +93,12 @@ 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" type struct_passing_style = |