diff options
author | Richard Kenner <kenner@gcc.gnu.org> | 1995-08-13 21:58:39 -0400 |
---|---|---|
committer | Richard Kenner <kenner@gcc.gnu.org> | 1995-08-13 21:58:39 -0400 |
commit | 7276e85d35c9cc9add7ca05f00fd3e2be649ce71 (patch) | |
tree | 39ae4a564be519ba3c19bcc9a8f8fd0648bfb7f5 /gcc | |
parent | 682d017157939d71f83ff0dfc50f3a1f4cf6e0ea (diff) | |
download | gcc-7276e85d35c9cc9add7ca05f00fd3e2be649ce71.zip gcc-7276e85d35c9cc9add7ca05f00fd3e2be649ce71.tar.gz gcc-7276e85d35c9cc9add7ca05f00fd3e2be649ce71.tar.bz2 |
(main): Change text of unsupported -g option warning.
From-SVN: r10235
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/toplev.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/toplev.c b/gcc/toplev.c index 4974710..cc8f048 100644 --- a/gcc/toplev.c +++ b/gcc/toplev.c @@ -3783,7 +3783,8 @@ You Lose! You must define PREFERRED_DEBUGGING_TYPE! use_gnu_debug_info_extensions = DEFAULT_GDB_EXTENSIONS; #endif if (write_symbols == NO_DEBUG) - warning ("`-%s' option not supported on this version of GCC", str); + warning ("`-%s' not supported by this configuration of GCC", + str); else if (level == 0) write_symbols = NO_DEBUG; else |