diff options
Diffstat (limited to 'scripts/devtool')
-rwxr-xr-x | scripts/devtool | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/devtool b/scripts/devtool index e4d9db301a..2a5a3d41c1 100755 --- a/scripts/devtool +++ b/scripts/devtool | |||
@@ -261,7 +261,7 @@ def main(): | |||
261 | description='Sets up a new workspace. NOTE: other devtool subcommands will create a workspace automatically as needed, so you only need to use %(prog)s if you want to specify where the workspace should be located.') | 261 | description='Sets up a new workspace. NOTE: other devtool subcommands will create a workspace automatically as needed, so you only need to use %(prog)s if you want to specify where the workspace should be located.') |
262 | parser_create_workspace.add_argument('layerpath', nargs='?', help='Path in which the workspace layer should be created') | 262 | parser_create_workspace.add_argument('layerpath', nargs='?', help='Path in which the workspace layer should be created') |
263 | parser_create_workspace.add_argument('--create-only', action="store_true", help='Only create the workspace layer, do not alter configuration') | 263 | parser_create_workspace.add_argument('--create-only', action="store_true", help='Only create the workspace layer, do not alter configuration') |
264 | parser_create_workspace.set_defaults(func=create_workspace) | 264 | parser_create_workspace.set_defaults(func=create_workspace, no_workspace=True) |
265 | 265 | ||
266 | for plugin in plugins: | 266 | for plugin in plugins: |
267 | if hasattr(plugin, 'register_commands'): | 267 | if hasattr(plugin, 'register_commands'): |
@@ -269,7 +269,7 @@ def main(): | |||
269 | 269 | ||
270 | args = parser.parse_args(unparsed_args, namespace=global_args) | 270 | args = parser.parse_args(unparsed_args, namespace=global_args) |
271 | 271 | ||
272 | if args.subparser_name != 'create-workspace': | 272 | if not getattr(args, 'no_workspace', False): |
273 | read_workspace() | 273 | read_workspace() |
274 | 274 | ||
275 | try: | 275 | try: |