diff options
| -rw-r--r-- | gcc/final.c | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gcc/final.c b/gcc/final.c index 8611656..e2cb53e 100644 --- a/gcc/final.c +++ b/gcc/final.c @@ -2030,10 +2030,15 @@ output_source_line (file, insn) } #endif -#if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO) - if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG) +#if defined (DBX_DEBUGGING_INFO) + if (write_symbols == DBX_DEBUG) dbxout_source_line (file, filename, NOTE_LINE_NUMBER (insn)); -#endif /* DBX_DEBUGGING_INFO || XCOFF_DEBUGGING_INFO */ +#endif + +#if defined (XCOFF_DEBUGGING_INFO) + if (write_symbols == XCOFF_DEBUG) + xcoffout_source_line (file, filename, insn); +#endif #ifdef DWARF_DEBUGGING_INFO if (write_symbols == DWARF_DEBUG) |