diff options
| author | Richard Stallman <rms@gnu.org> | 1992-07-21 02:59:00 +0000 |
|---|---|---|
| committer | Richard Stallman <rms@gnu.org> | 1992-07-21 02:59:00 +0000 |
| commit | d80ab61eeba51f08ffe49dd295e6f677c32d7987 (patch) | |
| tree | 088379ea8518f0a0c9d3a8742b091657972172cc /gcc | |
| parent | 8a4fd3184292fd19a1c4246568d72b2d3184eb65 (diff) | |
| download | gcc-d80ab61eeba51f08ffe49dd295e6f677c32d7987.zip gcc-d80ab61eeba51f08ffe49dd295e6f677c32d7987.tar.gz gcc-d80ab61eeba51f08ffe49dd295e6f677c32d7987.tar.bz2 | |
*** empty log message ***
From-SVN: r1648
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/final.c | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/gcc/final.c b/gcc/final.c index 4653a2f..1e6affde 100644 --- a/gcc/final.c +++ b/gcc/final.c @@ -1672,16 +1672,7 @@ output_source_line (file, insn) #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO) if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG) - { - dbxout_source_file (file, filename); - -#ifdef ASM_OUTPUT_SOURCE_LINE - ASM_OUTPUT_SOURCE_LINE (file, NOTE_LINE_NUMBER (insn)); -#else - fprintf (file, "\t%s %d,0,%d\n", ASM_STABD_OP, - N_SLINE, NOTE_LINE_NUMBER (insn)); -#endif - } + dbxout_source_line (file, filename, NOTE_LINE_NUMBER (insn)); #endif /* DBX_DEBUGGING_INFO || XCOFF_DEBUGGING_INFO */ #ifdef DWARF_DEBUGGING_INFO |