checksum_benchmarks.sh: set pipefail

Otherwise, a build failure may go undetected.
This commit is contained in:
Eric Biggers 2019-08-30 00:14:43 -05:00
parent 7a05749937
commit a0f88e7787

View File

@ -1,6 +1,6 @@
#!/bin/bash #!/bin/bash
set -eu set -eu -o pipefail
have_cpu_feature() { have_cpu_feature() {
local feature="$1" local feature="$1"