Die on build failure hidden by pipe

This commit is contained in:
Kirill Zaborsky 2019-06-22 11:09:33 +03:00 committed by GitHub
parent 3433b88dc1
commit 42e58d6f9d
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