From 87e24db5ef0e188e47c915236058d7e527378286 Mon Sep 17 00:00:00 2001 From: Rosen Penev Date: Wed, 27 Nov 2019 17:49:21 -0800 Subject: [PATCH] driver.sh: Run through shellcheck --- benchmarks/driver.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/benchmarks/driver.sh b/benchmarks/driver.sh index 77706f44e..dcb0e5988 100755 --- a/benchmarks/driver.sh +++ b/benchmarks/driver.sh @@ -8,8 +8,8 @@ FISH_PATH=$1 BENCHMARKS_DIR=$(dirname "$0")/benchmarks for benchmark in "$BENCHMARKS_DIR"/*; do - echo $(basename "$benchmark") - ${FISH_PATH} --print-rusage-self $benchmark > /dev/null + basename "$benchmark" + ${FISH_PATH} --print-rusage-self "$benchmark" > /dev/null if command -v hyperfine >/dev/null 2>&1; then hyperfine "${FISH_PATH} $benchmark > /dev/null" fi