diff options
-rwxr-xr-x | benchsuite/benchsuite | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/benchsuite/benchsuite b/benchsuite/benchsuite index 2380261f..e2587fcc 100755 --- a/benchsuite/benchsuite +++ b/benchsuite/benchsuite @@ -1267,7 +1267,7 @@ def main(): benchmarks = collect_benchmarks( args.dir, filter_pat=args.bench, 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) for i, b in enumerate(benchmarks): result = b.run() |