diff options
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: |