diff options
author | Chris Johns <chrisj@rtems.org> | 2018-09-15 17:42:30 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2018-09-15 17:43:29 +1000 |
commit | a16bfe19effa7929c09d5bc85f3ec806fce3b0bb (patch) | |
tree | ef15fa63f304838eb9ac7c2d97c4d1bee0c6a7cb /source-builder/sb/options.py | |
parent | source-builder/config/gcc-4.8-1.cfg: mpc download link changed again (diff) | |
download | rtems-source-builder-a16bfe19effa7929c09d5bc85f3ec806fce3b0bb.tar.bz2 |
sb: Raise an error if an option is not registered and unknown.
Close #3519.
Diffstat (limited to 'source-builder/sb/options.py')
-rw-r--r-- | source-builder/sb/options.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source-builder/sb/options.py b/source-builder/sb/options.py index 59f3cc1..24c2b4e 100644 --- a/source-builder/sb/options.py +++ b/source-builder/sb/options.py @@ -265,6 +265,8 @@ class command_line: else: value = '1' self.defaults[los[0][2:].replace('-', '_').lower()] = ('none', 'none', value) + else: + raise error.general('unknown option: %s' % (lo)) else: self.opts['params'].append(a) arg += 1 |