diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-04 22:17:45 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-04 22:17:45 +0200 |
commit | 8df444cbc4aa78d4effb03474b3709925ac7002a (patch) | |
tree | e251cf6733b0cf38ee125d649331687b829fe67a /powerpc | |
parent | 1b989dc9bff4a6425a929a5638362ca87edb122d (diff) | |
parent | 5493186b185143b8cea401fbbbf417d37ae7e665 (diff) | |
download | compcert-8df444cbc4aa78d4effb03474b3709925ac7002a.tar.gz compcert-8df444cbc4aa78d4effb03474b3709925ac7002a.zip |
Merge branch 'master' of github.com:AbsInt/CompCert
Diffstat (limited to 'powerpc')
-rw-r--r-- | powerpc/TargetPrinter.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 579573b9..530e269d 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -161,6 +161,7 @@ module Linux_System : SYSTEM = begin let high_pc = new_label () in Debug.add_compilation_section_end ".text" high_pc; + Debug.compute_gnu_file_enum (fun f -> ignore (print_file oc f)); section oc Section_text; fprintf oc "%a:\n" label high_pc end @@ -286,7 +287,7 @@ module Diab_System : SYSTEM = fprintf oc ".L%d: .d2filenum \"%s\"\n" label f; label and end_line () = fprintf oc " .d2_line_end\n" in - Debug.compute_file_enum end_label entry_label end_line + Debug.compute_diab_file_enum end_label entry_label end_line end |