diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-03-05 20:53:36 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-03-05 20:53:36 +0100 |
| commit | 52aa50ee04803b3f0c56efbaad1d10c5654c7195 (patch) | |
| tree | c794c77b7640fa2672fb0a5f2c30f5c549965369 | |
| parent | 64debbfc1ea8139640090a474e951e7630c844a2 (diff) | |
tools/build_configs.py: fix filtering
| -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 |