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

debugging not supported.

From-SVN: r13520

diff --git a/gcc/toplev.c b/gcc/toplev.c
index 364c17df84fd2e81dafa59dc33271d3c4809a7cf..34e695de5c992c00ef436fc2577ad6f0a70e0a01 100644 (file)
--- 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 */