mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00
sb: Raise an error if an option is not registered and unknown.
Close #3519.
This commit is contained in:
@@ -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
|
||||
|
Reference in New Issue
Block a user