diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-09-26 15:04:04 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-09-30 10:45:39 +0000 |
commit | 0a6d4ab158799268bca75a1760a27f9b8761ba0a (patch) | |
tree | 0060073d85a5ad0ae247eaf880cb360e89c64ed0 /distbuild.configure | |
parent | ed592ddf2e0379de98f939220ff5092f8b6e88bc (diff) | |
download | definitions-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.configure | 3 |
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: |