driver.sh: Run through shellcheck

This commit is contained in:
Rosen Penev 2019-11-27 17:49:21 -08:00 committed by Fabian Homborg
parent a755bc5cf6
commit 87e24db5ef

View file

@ -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