From 5b3608b97ac0c1bd3469baf5096380d8b894da8d Mon Sep 17 00:00:00 2001 From: Florian Schmaus Date: Mon, 12 Aug 2019 14:05:56 +0200 Subject: Whitespace fix in bench.py --- bench.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bench.py b/bench.py index 9ebaa0d..4985e59 100755 --- a/bench.py +++ b/bench.py @@ -173,7 +173,7 @@ def main(): for bench in src.globalvars.benchmarks: if args.benchmarks and bench not in args.benchmarks: continue - + if args.exclude_benchmarks and bench in args.exclude_benchmarks: continue -- cgit v1.2.3