From a0f88e778712948f3ccaa0469ba28bc6bcefdb4e Mon Sep 17 00:00:00 2001
From: Eric Biggers <ebiggers3@gmail.com>
Date: Fri, 30 Aug 2019 00:14:43 -0500
Subject: [PATCH] checksum_benchmarks.sh: set pipefail

Otherwise, a build failure may go undetected.
---
 tools/checksum_benchmarks.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"