diff options
Diffstat (limited to 'scripts/devtool')
-rwxr-xr-x | scripts/devtool | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/devtool b/scripts/devtool index 63d2ef9053..a93a11f341 100755 --- a/scripts/devtool +++ b/scripts/devtool | |||
@@ -301,6 +301,7 @@ def main(): | |||
301 | tinfoil.shutdown() | 301 | tinfoil.shutdown() |
302 | 302 | ||
303 | subparsers = parser.add_subparsers(dest="subparser_name", title='subcommands', metavar='<subcommand>') | 303 | subparsers = parser.add_subparsers(dest="subparser_name", title='subcommands', metavar='<subcommand>') |
304 | subparsers.required = True | ||
304 | 305 | ||
305 | subparsers.add_subparser_group('sdk', 'SDK maintenance', -2) | 306 | subparsers.add_subparser_group('sdk', 'SDK maintenance', -2) |
306 | subparsers.add_subparser_group('advanced', 'Advanced', -1) | 307 | subparsers.add_subparser_group('advanced', 'Advanced', -1) |