diff --git a/benchmarks/driver.sh b/benchmarks/driver.sh index f2e0e45a6..77706f44e 100755 --- a/benchmarks/driver.sh +++ b/benchmarks/driver.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh if [ "$#" -ne 1 ]; then echo "Usage: driver.sh /path/to/fish" @@ -10,7 +10,7 @@ BENCHMARKS_DIR=$(dirname "$0")/benchmarks for benchmark in "$BENCHMARKS_DIR"/*; do echo $(basename "$benchmark") ${FISH_PATH} --print-rusage-self $benchmark > /dev/null - if hash hyperfine 2>/dev/null; then + if command -v hyperfine >/dev/null 2>&1; then hyperfine "${FISH_PATH} $benchmark > /dev/null" fi done