diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/buildman/control.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py index 5c5720034b..f2ffb7f5b4 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -610,6 +610,9 @@ def do_buildman(args, toolchains=None, make_func=None, brds=None, toolchains = get_toolchains(toolchains, col, args.override_toolchain, args.fetch_arch, args.list_tool_chains, args.verbose) + if isinstance(toolchains, int): + return toolchains + output_dir = setup_output_dir( args.output_dir, args.work_in_output, args.branch, args.no_subdirs, col, clean_dir) |