diff options
author | Andrew Gallant <jamslam@gmail.com> | 2017-07-17 09:28:49 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2017-07-17 09:28:49 -0400 |
commit | f86f987d71fca1f9c11aa7d97301af5afe9ee980 (patch) | |
tree | 44b355001692ec8fcdf7ca1b9e8f0c23cc52305f | |
parent | bfbd53eb92cc6398417e247ed4e22ca24fd963e4 (diff) |
benchsuite: fix another bug
-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() |