Merge pull request #4638 from qrilka/patch-9
Die on build failure hidden by pipe
commitde75f515f29738d282cae338d568a3f79bd45d93
authorMichael Snoyman <michael@snoyman.com>
dateSat 22 Jun 2019, 21:02 (7 years ago)
parent3433b8842e58d6
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