diff --git a/scripts/buildall b/scripts/buildall index 963c13da..0e218c6c 100755 --- a/scripts/buildall +++ b/scripts/buildall @@ -1,5 +1,7 @@ #!/usr/bin/env bash +set -o pipefail + DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" function HELP {