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(): tinfoil.shutdown() subparsers = parser.add_subparsers(dest="subparser_name", title='subcommands', metavar='<subcommand>') + subparsers.required = True subparsers.add_subparser_group('sdk', 'SDK maintenance', -2) subparsers.add_subparser_group('advanced', 'Advanced', -1) |