diff options
| author | Richard Kenner <kenner@gcc.gnu.org> | 1997-01-19 15:31:19 -0500 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 1997-01-19 15:31:19 -0500 |
| commit | e38eaffd195e6003b69aa8fa2246115dab5feb63 (patch) | |
| tree | bb444953f42983d5dfbfdbd3a811753e5501d47a /gcc | |
| parent | 5ae3bec5ee812f78a83b1fcd64711684d1c1d003 (diff) | |
| download | gcc-e38eaffd195e6003b69aa8fa2246115dab5feb63.zip gcc-e38eaffd195e6003b69aa8fa2246115dab5feb63.tar.gz gcc-e38eaffd195e6003b69aa8fa2246115dab5feb63.tar.bz2 | |
(main): If PREFERRED_DEBUGGING_TYPE used and set to NO_DEBUG, say
debugging not supported.
From-SVN: r13520
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/toplev.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/toplev.c b/gcc/toplev.c index 364c17d..34e695d 100644 --- a/gcc/toplev.c +++ b/gcc/toplev.c @@ -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 */ |