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/setbuilder.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/setbuilder.py')
-rw-r--r-- | source-builder/sb/setbuilder.py | 1 |
1 files changed, 1 insertions, 0 deletions
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', |