(main): Re-enable -gxcoff+.
authorRichard Kenner <kenner@gcc.gnu.org>
Sat, 8 Jun 1996 18:35:12 +0000 (14:35 -0400)
committerRichard Kenner <kenner@gcc.gnu.org>
Sat, 8 Jun 1996 18:35:12 +0000 (14:35 -0400)
From-SVN: r12247

gcc/toplev.c

index 5d5eb45ac1f48b12c69e46856bfb745df16eb40d..fd6436196bc9ef9095ffc8ac33d251c6c76b8814 100644 (file)
@@ -3871,6 +3871,8 @@ You Lose!  You must define PREFERRED_DEBUGGING_TYPE!
                write_symbols = XCOFF_DEBUG;
              else if (!strncmp (str, "gxcoff", len))
                write_symbols = XCOFF_DEBUG;
+             else if (!strncmp (str, "gxcoff+", len))
+               write_symbols = XCOFF_DEBUG;
 
              /* Always enable extensions for -ggdb or -gxcoff+,
                 always disable for -gxcoff.