diff options
author | Chris Johns <chrisj@rtems.org> | 2018-10-12 10:56:25 -0700 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2018-10-12 10:56:25 -0700 |
commit | d4dd593514737efe0dcf7b54bfa710743ee519ec (patch) | |
tree | 1bc2537661071258c7af8c0e625b045b87e62de7 /source-builder | |
parent | rtems-5: Move GDB to as early in the build as possible. (diff) | |
download | rtems-source-builder-d4dd593514737efe0dcf7b54bfa710743ee519ec.tar.bz2 |
sb: Fix the short options message.
Diffstat (limited to 'source-builder')
-rw-r--r-- | source-builder/sb/options.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source-builder/sb/options.py b/source-builder/sb/options.py index 5767c48..7312285 100644 --- a/source-builder/sb/options.py +++ b/source-builder/sb/options.py @@ -271,7 +271,7 @@ class command_line: raise error.general('unknown option: %s' % (lo)) else: if a.startswith('-'): - raise error.general('not short options; only "-?"') + raise error.general('short options not supported; only "-?"') self.opts['params'].append(a) arg += 1 |