diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-03-17 19:58:19 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-03-18 16:02:18 +0000 |
commit | 3762ca057f61030bf4bf54fdd62f5ee2c4648f9b (patch) | |
tree | d7503dc5a0dc3af35fb07959da0a25e670f83e91 | |
parent | 4182c84ab89e303a7814ce18b919ebbb98e47797 (diff) | |
download | definitions-3762ca057f61030bf4bf54fdd62f5ee2c4648f9b.tar.gz |
distbuild: Fix error when ARTIFACT_CACHE_SERVER not set
-rw-r--r-- | distbuild.configure | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/distbuild.configure b/distbuild.configure index 4fcf10c1..dfae38ac 100644 --- a/distbuild.configure +++ b/distbuild.configure @@ -37,7 +37,7 @@ # # * WORKERS: hostnames or IP address of worker nodes, comma-separated. -set -eu +set -e # If ARTIFACT_CACHE_SERVER isn't set, default to $TROVE_ID. @@ -46,6 +46,8 @@ then ARTIFACT_CACHE_SERVER="$TROVE_ID" fi +set -u + # Create the mount point for extra disk space. install -d -o 0 -g 0 -m 0755 "$1/srv/distbuild" |