summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPedro Alvarez <pedro.alvarez@codethink.co.uk>2014-09-11 15:03:22 (GMT)
committerPedro Alvarez <pedro.alvarez@codethink.co.uk>2014-09-17 10:39:19 (GMT)
commita4a7a099c4e81ed3605521cb72ca8541471f0c67 (patch)
tree1ba8b45d8b625eb3b0aa7f604ad117a2e5071779
parente21c1c598b6ce29cae1ca186ac3224ab17e08c3c (diff)
downloaddefinitions-a4a7a099c4e81ed3605521cb72ca8541471f0c67.tar.gz
Allow the the deploment of generic distbuild nodes
-rw-r--r--distbuild.configure5
1 files changed, 5 insertions, 0 deletions
diff --git a/distbuild.configure b/distbuild.configure
index f0de7a1..7914810 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: