From 42e58d6f9d6be4acef9c9a1f0b0d2ee360c9c675 Mon Sep 17 00:00:00 2001
From: Kirill Zaborsky <qrilka@gmail.com>
Date: Sat, 22 Jun 2019 11:09:33 +0300
Subject: [PATCH] Die on build failure hidden by pipe

---
 automated/build-next.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/automated/build-next.sh b/automated/build-next.sh
index ec6fa26f..8cb3c365 100755
--- a/automated/build-next.sh
+++ b/automated/build-next.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-set -eu +x
+set -eu +x -o pipefail
 
 ROOT=$(cd $(dirname $0) ; pwd)
 TARGET=$1