diff --git a/scripts/bench.py b/scripts/bench.py index 61a0c8f5..5fdf9d0d 100755 --- a/scripts/bench.py +++ b/scripts/bench.py @@ -945,7 +945,12 @@ def find_ids(runner, bench_ids=[], **args): expected_suite_perms, expected_case_perms, _, - _) = find_perms(runner, **args) + _) = find_perms( + runner, + # the runner can filter faster than we can, but not if + # we have any globs + bench_ids if not any('*' in id for id in bench_ids) else [], + **args) # no ids => all ids, before we evaluate globs if not bench_ids and args.get('by_cases'): diff --git a/scripts/test.py b/scripts/test.py index 0db2993d..ae570030 100755 --- a/scripts/test.py +++ b/scripts/test.py @@ -965,7 +965,12 @@ def find_ids(runner, test_ids=[], **args): expected_suite_perms, expected_case_perms, _, - _) = find_perms(runner, **args) + _) = find_perms( + runner, + # the runner can filter faster than we can, but not if + # we have any globs + test_ids if not any('*' in id for id in test_ids) else [], + **args) # no ids => all ids, before we evaluate globs if not test_ids and args.get('by_cases'):