diff --git a/pgbuild.sh b/pgbuild.sh index 0514a5868a..9d4c0baa65 100755 --- a/pgbuild.sh +++ b/pgbuild.sh @@ -10,6 +10,10 @@ # # 2) installs postgres to REPO_ROOT/tmp_install/ # + +# Halt immediately if any command fails +set -e + REPO_ROOT=$(dirname "$0") REPO_ROOT="`( cd \"$REPO_ROOT\" && pwd )`"