diff options
Diffstat (limited to 'driver/Configuration.ml')
| -rw-r--r-- | driver/Configuration.ml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/driver/Configuration.ml b/driver/Configuration.ml index 1914c1b3..e1a02573 100644 --- a/driver/Configuration.ml +++ b/driver/Configuration.ml @@ -108,7 +108,7 @@ let opt_config_list key = | Some v -> v | None -> [] -let prepro = +let prepro = tool_absolute_path (get_config_list "prepro")@(opt_config_list "prepro_options") let asm = tool_absolute_path (get_config_list "asm")@(opt_config_list "asm_options") @@ -144,12 +144,6 @@ 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] - type struct_passing_style = | SP_ref_callee (* by reference, callee takes copy *) |