diff --git a/scripts/lib.sh b/scripts/lib.sh index d725a77515..b2f680e5fd 100644 --- a/scripts/lib.sh +++ b/scripts/lib.sh @@ -6,10 +6,15 @@ set -e -die() +error() { local msg="$*" echo "ERROR: ${msg}" >&2 +} + +die() +{ + error "$*" exit 1 }