Merge pull request #4638 from qrilka/patch-9

Die on build failure hidden by pipe
This commit is contained in:
Michael Snoyman 2019-06-22 21:02:20 +03:00 committed by GitHub
commit de75f515f2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,6 @@
#!/usr/bin/env bash
set -eu +x
set -eu +x -o pipefail
ROOT=$(cd $(dirname $0) ; pwd)
TARGET=$1