From 3762ca057f61030bf4bf54fdd62f5ee2c4648f9b Mon Sep 17 00:00:00 2001
From: Sam Thursfield <sam.thursfield@codethink.co.uk>
Date: Mon, 17 Mar 2014 19:58:19 +0000
Subject: distbuild: Fix error when ARTIFACT_CACHE_SERVER not set

---
 distbuild.configure | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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"
-- 
cgit v1.2.1