diff options
author | rsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-05-16 12:30:06 +0000 |
---|---|---|
committer | rsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-05-16 12:30:06 +0000 |
commit | 5c5ccba291e6d6a7763b8b2a773503c7a0659306 (patch) | |
tree | 1a880bfd7d5dee689ffa88c4d78e2661c5086ffd /gcc/opts.c | |
parent | b047d60e90a81d9f53fce792fdbfd2d6ec126102 (diff) | |
download | gcc-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.c | 8 |
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) { |