summaryrefslogtreecommitdiff
path: root/distbuild.configure
diff options
context:
space:
mode:
authorSam Thursfield <sam.thursfield@codethink.co.uk>2014-09-26 15:04:04 +0000
committerSam Thursfield <sam.thursfield@codethink.co.uk>2014-09-30 10:45:39 +0000
commit0a6d4ab158799268bca75a1760a27f9b8761ba0a (patch)
tree0060073d85a5ad0ae247eaf880cb360e89c64ed0 /distbuild.configure
parented592ddf2e0379de98f939220ff5092f8b6e88bc (diff)
downloaddefinitions-0a6d4ab158799268bca75a1760a27f9b8761ba0a.tar.gz
Fix deploying a non-generic Mason
Fixed DISTBUILD_GENERIC check in distbuild.configure, and TROVE_ADMIN_NAME check in mason.configure Reviewed-By: Pedro Alvarez <pedro.alvarez@codethink.co.uk> Reviewed-By: Paul Sherwood <paul.sherwood@codethink.co.uk>
Diffstat (limited to 'distbuild.configure')
-rw-r--r--distbuild.configure3
1 files changed, 1 insertions, 2 deletions
diff --git a/distbuild.configure b/distbuild.configure
index 79148106..d9b9fb8a 100644
--- a/distbuild.configure
+++ b/distbuild.configure
@@ -40,13 +40,12 @@
set -e
-set -u
-
if [ -n "$DISTBUILD_GENERIC" ]; then
echo "Not configuring the distbuild node, it will be generic"
exit 0
fi
+set -u
# Check that all the variables needed are present: