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