From d52a8de0d6928bc9359cb1ecb3fd3d2d0bab5745 Mon Sep 17 00:00:00 2001 From: mittorn Date: Fri, 8 Dec 2023 23:48:35 +0300 Subject: [PATCH] wscript: fix options in external projects --- wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wscript b/wscript index 44b3697d..7dfebe83 100644 --- a/wscript +++ b/wscript @@ -103,7 +103,7 @@ REFDLLS = [ ] def process_extra_projects_opts(ctx): - options, commands, envvars = ctx.parse_cmd_args() + options, commands, envvars = ctx.parse_cmd_args(allow_unknown = True) projs = options.EXTRA_PROJECTS if not projs: return