From 253e8e9b72a1204f334460af0ffc7893d3e4b752 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 19 Mar 2015 11:18:10 +0100 Subject: Activating the printing of the debug information for supported architecture. --- backend/PrintAsm.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'backend/PrintAsm.ml') diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 510dbc64..05b55a10 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -88,6 +88,8 @@ module Printer(Target:TARGET) = | Gfun (Internal code) -> print_function oc name code | Gfun (External ef) -> () | Gvar v -> print_var oc name v + + module DebugPrinter = DwarfPrinter (Target) end @@ -102,6 +104,8 @@ let print_program oc p db = PrintAnnot.close_filenames (); if !Clflags.option_g && Configuration.advanced_debug then begin - let module DebugPrinter = DwarfPrinter(Target) in - () + match db with + | None -> () + | Some db -> + Printer.DebugPrinter.print_debug oc db end -- cgit