summaryrefslogtreecommitdiff
path: root/gcc/opts.c
diff options
context:
space:
mode:
authorrsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>2005-05-16 12:30:06 +0000
committerrsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>2005-05-16 12:30:06 +0000
commit5c5ccba291e6d6a7763b8b2a773503c7a0659306 (patch)
tree1a880bfd7d5dee689ffa88c4d78e2661c5086ffd /gcc/opts.c
parentb047d60e90a81d9f53fce792fdbfd2d6ec126102 (diff)
downloadgcc-5c5ccba291e6d6a7763b8b2a773503c7a0659306.tar.gz
* Makefile.in (options.c): Tell optc-gen.awk to include config.h,
system.h, coretypes.h and tm.h. (options.o): Update dependencies accordingly. * optc-gen.awk: Allow header_name to be a list of filenames. Handle the "Condition" flag. * opts.h (CL_DISABLED): New flag. * opts.c (handle_option): Print an error for CL_DISABLED options. * doc/options.texi: Document the "Condition" option flag. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@99774 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/opts.c')
-rw-r--r--gcc/opts.c8
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/opts.c b/gcc/opts.c
index 97f89314fb1..896728c3727 100644
--- a/gcc/opts.c
+++ b/gcc/opts.c
@@ -315,6 +315,14 @@ handle_option (const char **argv, unsigned int lang_mask)
/* We've recognized this switch. */
result = 1;
+ /* Check to see if the option is disabled for this configuration. */
+ if (option->flags & CL_DISABLED)
+ {
+ error ("command line option %qs"
+ " is not supported by this configuration", opt);
+ goto done;
+ }
+
/* Sort out any argument the switch takes. */
if (option->flags & CL_JOINED)
{