diff options
| author | Peter Powell <petpow@saberuk.com> | 2019-05-03 15:17:15 +0100 |
|---|---|---|
| committer | Peter Powell <petpow@saberuk.com> | 2019-05-03 15:17:15 +0100 |
| commit | 044fa999680888267e07dc7b69028b18efbac818 (patch) | |
| tree | d17eac0a8303611a4461fddad75f784134624d30 /make/common.pm | |
| parent | 68e5d0a151d8b5ca6577a0053dcda95774bf323a (diff) | |
Fix --distribution-label erroneously requiring --development.
Reported by @ensra.
Diffstat (limited to 'make/common.pm')
| -rw-r--r-- | make/common.pm | 1 |
1 files changed, 1 insertions, 0 deletions
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 |