diff options
-rwxr-xr-x | tools/build_configs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build_configs.py b/tools/build_configs.py index e641984..0d73834 100755 --- a/tools/build_configs.py +++ b/tools/build_configs.py @@ -229,7 +229,7 @@ def check_filter(config_dict, filter_dict): if value[0] != (config_dict[name] == value[1]): return False else: - if value[0] != bool(value[1].match(config_dict[name])): + if value[0] != bool(value[1].search(config_dict[name])): return False return True |