diff --git a/build.sh b/build.sh index 1b4fbb527863..9685457a7849 100755 --- a/build.sh +++ b/build.sh @@ -1,5 +1,8 @@ #!/usr/bin/env bash +# Cause the script to exit if a single command fails. +set -e + ROOT_DIR=$(cd "$(dirname "${BASH_SOURCE:-$0}")"; pwd) # Determine how many parallel jobs to use for make based on the number of cores diff --git a/src/common/thirdparty/build-redis.sh b/src/common/thirdparty/build-redis.sh index 230e9ae29067..47203f865ed5 100644 --- a/src/common/thirdparty/build-redis.sh +++ b/src/common/thirdparty/build-redis.sh @@ -1,3 +1,8 @@ +#!/usr/bin/env bash + +# Cause the script to exit if a single command fails. +set -e + if [ ! -f redis-3.2.3/src/redis-server ]; then wget http://download.redis.io/releases/redis-3.2.3.tar.gz tar xvfz redis-3.2.3.tar.gz