diff options
Diffstat (limited to 'debug/DebugInit.ml')
| -rw-r--r-- | debug/DebugInit.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debug/DebugInit.ml b/debug/DebugInit.ml index b4240af7..455112ed 100644 --- a/debug/DebugInit.ml +++ b/debug/DebugInit.ml @@ -53,6 +53,7 @@ let init_debug () = implem := if Configuration.system = "diab" then let gen = (fun a b -> Some (Dwarfgen.gen_diab_debug_info a b)) in + Clflags.option_gdwarf := 2; (* Dwarf 2 is the only supported target *) {default_debug with generate_debug_info = gen; add_diab_info = DebugInformation.add_diab_info; add_fun_addr = DebugInformation.diab_add_fun_addr;} |