diff options
| -rwxr-xr-x | scripts/configure_helper.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/configure_helper.py b/scripts/configure_helper.py index 7923aeae8..ff7db9250 100755 --- a/scripts/configure_helper.py +++ b/scripts/configure_helper.py @@ -127,7 +127,7 @@ def blacklist_hit(name, blacklist): return True return False -parse_args_re = re.compile("--((enable|disable|with|without)-)?\[?([^\[=]*)(([\[=]*)([^]]*)]?)?") +parse_args_re = re.compile("--((enable|disable|with|without|with\(out\))-)?\[?([^\[=]*)(([\[=]*)([^]]*)]?)?") def parse_configure_args(args, blacklist): ret = [] for arg in args: |