+#ifdef XCOFF_DEBUGGING_INFO
+ if (write_symbols != NO_DEBUG)
+ ;
+ else if (!strncmp (str, "ggdb", len))
+ write_symbols = XCOFF_DEBUG;
+ else if (!strncmp (str, "gxcoff", len))
+ write_symbols = XCOFF_DEBUG;
+
+ /* Always enable extensions for -ggdb,
+ always disable for -gxcoff.
+ For plain -g, use system-specific default. */
+ if (write_symbols == XCOFF_DEBUG && !strncmp (str, "ggdb", len)
+ && len >= 2)
+ use_gdb_dbx_extensions = 1;
+ else if (write_symbols == DBX_DEBUG
+ && !strncmp (str, "gxcoff", len) && len >= 2)
+ use_gdb_dbx_extensions = 0;
+ else
+ use_gdb_dbx_extensions = DEFAULT_GDB_EXTENSIONS;
+#endif