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.
---
 make/common.pm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'make')

diff --git a/make/common.pm b/make/common.pm
index ba6b03f87..742d37224 100644
--- a/make/common.pm
+++ b/make/common.pm
@@ -68,6 +68,7 @@ sub get_version {
 
 	# If the user has specified a distribution label then we use it in
 	# place of the label from src/version.sh or Git.
+	$version{REAL_LABEL} = $version{LABEL};
 	$version{LABEL} = shift // $version{LABEL};
 
 	# If any of these fields are missing then the user has deleted the
-- 
cgit v1.3.1-10-gc9f91