(mips_output_filename): When emitting stabs, don't disable them if using gas.

(mips_output_lineno): Likewise.

From-SVN: r5830

gcc/config/mips/mips.c

@@ -3511,11 +3511,12 @@ mips_output_filename (stream, name)
       fprintf (stream, "\t.file\t%d ", num_source_filenames);
       output_quoted_string (stream, name);
       fprintf (stream, "\n");
+      /* This tells mips-tfile that stabs will follow.  */
       if (!TARGET_GAS && write_symbols == DBX_DEBUG)
 	fprintf (stream, "\t#@stabs\n");
     }
 
-  else if (!TARGET_GAS && write_symbols == DBX_DEBUG)
+  else if (write_symbols == DBX_DEBUG)
     {
       ASM_GENERATE_INTERNAL_LABEL (ltext_label_name, "Ltext", 0);
       fprintf (stream, "%s ", ASM_STABS_OP);
@@ -3560,7 +3561,7 @@ mips_output_lineno (stream, line)
      FILE *stream;
      int line;
 {
-  if (!TARGET_GAS && write_symbols == DBX_DEBUG)
+  if (write_symbols == DBX_DEBUG)
     {
       ++sym_lineno;
       fprintf (stream, "$LM%d:\n\t%s %d,0,%d,$LM%d\n",