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 | |
| 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.
| -rw-r--r-- | source-builder/sb/options.py | 2 | ||||
| -rw-r--r-- | source-builder/sb/setbuilder.py | 1 |
2 files changed, 3 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 diff --git a/source-builder/sb/setbuilder.py b/source-builder/sb/setbuilder.py index 17b781a..b7cd8f2 100644 --- a/source-builder/sb/setbuilder.py +++ b/source-builder/sb/setbuilder.py @@ -517,6 +517,7 @@ def run(): try: optargs = { '--list-configs': 'List available configurations', '--list-bsets': 'List available build sets', + '--list-configs': 'List available configuration files.', '--list-deps': 'List the dependent files.', '--bset-tar-file': 'Create a build set tar file', '--pkg-tar-files': 'Create package tar files', |