From 10db604da9567d12f60504c7456b51edc81e0a8b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Andriot?= Date: Tue, 1 Jan 2019 22:56:56 +0100 Subject: RPM: update build scripts --- redhat/build/gather_rpm_sources.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'redhat/build/gather_rpm_sources.sh') diff --git a/redhat/build/gather_rpm_sources.sh b/redhat/build/gather_rpm_sources.sh index 244b140c5..82c4b6804 100755 --- a/redhat/build/gather_rpm_sources.sh +++ b/redhat/build/gather_rpm_sources.sh @@ -5,7 +5,7 @@ PKGNAME="${1%/}" PKGNAME="${PKGNAME##*/}" -TDE_VERSION="${2:-14.0.5}" +TDE_VERSION="${2:-${TDE_VERSION:-14.0.5}}" TARGETDIR="${3:-/tmp/${PKGNAME}-${TDE_VERSION}}" DIST="$4" -- cgit v1.2.1