diff options
author | Pedro Alvarez <pedro.alvarez@codethink.co.uk> | 2014-09-11 16:03:22 +0100 |
---|---|---|
committer | Pedro Alvarez <pedro.alvarez@codethink.co.uk> | 2014-09-17 11:39:19 +0100 |
commit | a4a7a099c4e81ed3605521cb72ca8541471f0c67 (patch) | |
tree | 1ba8b45d8b625eb3b0aa7f604ad117a2e5071779 /distbuild.configure | |
parent | e21c1c598b6ce29cae1ca186ac3224ab17e08c3c (diff) | |
download | definitions-a4a7a099c4e81ed3605521cb72ca8541471f0c67.tar.gz |
Allow the the deploment of generic distbuild nodes
Diffstat (limited to 'distbuild.configure')
-rw-r--r-- | distbuild.configure | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/distbuild.configure b/distbuild.configure index f0de7a15..79148106 100644 --- a/distbuild.configure +++ b/distbuild.configure @@ -42,6 +42,11 @@ set -e set -u +if [ -n "$DISTBUILD_GENERIC" ]; then + echo "Not configuring the distbuild node, it will be generic" + exit 0 +fi + # Check that all the variables needed are present: |