From f86f987d71fca1f9c11aa7d97301af5afe9ee980 Mon Sep 17 00:00:00 2001 From: Andrew Gallant Date: Mon, 17 Jul 2017 09:28:49 -0400 Subject: [PATCH] benchsuite: fix another bug --- benchsuite/benchsuite | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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()