diff options
-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" |