summaryrefslogtreecommitdiff
path: root/distbuild.configure
diff options
context:
space:
mode:
Diffstat (limited to 'distbuild.configure')
-rw-r--r--distbuild.configure5
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: