From 9a833db80c0239ab75467cee31696881cb364025 Mon Sep 17 00:00:00 2001 From: speckdavid Date: Fri, 19 Jul 2024 11:20:44 +0200 Subject: [PATCH] fixed issue with remaining args related to '-j' options --- build.py | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/build.py b/build.py index 16feea558b..a68cc99434 100755 --- a/build.py +++ b/build.py @@ -86,7 +86,12 @@ def parse_args(): if HAS_ARGCOMPLETE: argcomplete.autocomplete(parser) - args = parser.parse_args() + args, unparsed_args = parser.parse_known_args() + + if hasattr(args, "remaining_args"): + args.remaining_args += unparsed_args + else: + args.remaining_args = unparsed_args return args @@ -152,7 +157,7 @@ def split_args(args): for arg in args.arguments: if arg in CONFIGS: args.config_names.append(arg) - else: + elif arg != "--": args.build_parameters.append(arg) if args.debug: