Die on build failure hidden by pipe
commit42e58d6f9d6be4acef9c9a1f0b0d2ee360c9c675
authorKirill Zaborsky <qrilka@gmail.com>
dateSat 22 Jun 2019, 11:09 (7 years ago)
parent3433b88
automated/build-next.sh+1−1
@@ -1,6 +1,6 @@
11#!/usr/bin/env bash
22
3−set -eu +x
3+set -eu +x -o pipefail
44
55ROOT=$(cd $(dirname $0) ; pwd)
66TARGET=$1