Fix --distribution-label erroneously requiring --development.

Reported by @ensra.

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index a9d02ffc4..269d1927f 100755
--- a/configure
+++ b/configure
@@ -261,7 +261,7 @@ EOW
 }
 
 # Check that the user actually wants this version.
-if ($version{LABEL} ne 'release') {
+if (defined $version{REAL_LABEL}) {
 	print_warning <<'EOW';
 You are building a development version. This contains code which has
 not been tested as heavily and may contain various faults which could seriously