diff --git a/tools/checksum_benchmarks.sh b/tools/checksum_benchmarks.sh index c58e171..6b22186 100755 --- a/tools/checksum_benchmarks.sh +++ b/tools/checksum_benchmarks.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -eu +set -eu -o pipefail have_cpu_feature() { local feature="$1"