OSDN Git Service

(output_source_line): Call xcoffout_source_line.
authorwilson <wilson@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 1 Jun 1994 00:23:08 +0000 (00:23 +0000)
committerwilson <wilson@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 1 Jun 1994 00:23:08 +0000 (00:23 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@7409 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/final.c

index 8611656..e2cb53e 100644 (file)
@@ -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)