mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-18 18:51:24 +08:00
Code Issues Packages Projects Releases Wiki Activity

(main): If PREFERRED_DEBUGGING_TYPE used and set to NO_DEBUG, say

Browse Source 
debugging not supported.

From-SVN: r13520
This commit is contained in:
Richard Kenner 1997-01-19 15:31:19 -05:00
parent 5ae3bec5ee
commit e38eaffd19
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/toplev.c
View File

@ -3957,6 +3957,10 @@ main (argc, argv, envp)
if (type == NO_DEBUG)
type = PREFERRED_DEBUGGING_TYPE;
if (type == NO_DEBUG)
warning ("`-%s' not supported by this configuration of GCC",
str);
/* Does it conflict with an already selected type? */
if (type_explicitly_set_p
/* -g/-ggdb don't conflict with anything */