From 044fa999680888267e07dc7b69028b18efbac818 Mon Sep 17 00:00:00 2001 From: Peter Powell Date: Fri, 3 May 2019 15:17:15 +0100 Subject: Fix --distribution-label erroneously requiring --development. Reported by @ensra. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') 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 -- cgit v1.2.3