summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrew Gallant <jamslam@gmail.com>2017-07-17 09:28:49 -0400
committerAndrew Gallant <jamslam@gmail.com>2017-07-17 09:28:49 -0400
commitf86f987d71fca1f9c11aa7d97301af5afe9ee980 (patch)
tree44b355001692ec8fcdf7ca1b9e8f0c23cc52305f
parentbfbd53eb92cc6398417e247ed4e22ca24fd963e4 (diff)
benchsuite: fix another bug
-rwxr-xr-xbenchsuite/benchsuite2
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()