mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-05-19 09:40:22 -07:00
benchsuite: fix another bug
This commit is contained in:
parent
bfbd53eb92
commit
f86f987d71
@ -1267,7 +1267,7 @@ def main():
|
|||||||
benchmarks = collect_benchmarks(
|
benchmarks = collect_benchmarks(
|
||||||
args.dir, filter_pat=args.bench,
|
args.dir, filter_pat=args.bench,
|
||||||
allow_missing_commands=args.allow_missing,
|
allow_missing_commands=args.allow_missing,
|
||||||
disabled_cmds=args.disabled.split(','),
|
disabled_cmds=(args.disabled or '').split(','),
|
||||||
warmup_iter=args.warmup_iter, bench_iter=args.bench_iter)
|
warmup_iter=args.warmup_iter, bench_iter=args.bench_iter)
|
||||||
for i, b in enumerate(benchmarks):
|
for i, b in enumerate(benchmarks):
|
||||||
result = b.run()
|
result = b.run()
|
||||||
|
Loading…
x
Reference in New Issue
Block a user