Allow setting an explict version number (#482)

* Allow setting an explict version number * Use TRAC_ to preface explicit version number variable
finos · Dec 13, 2024 · 1aded23 · 1aded23
1 parent 2330dff
commit 1aded23
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/dev/version.sh b/dev/version.sh
@@ -27,7 +27,11 @@ prior_version_tag=`git describe --tags --match "v[0-9]*" --abbrev=0 2>/dev/null`
 prior_version_found=$?
 
 
-if [ ${exact_version_found} = 0 ]; then
+if [ -n "${TRAC_EXPLICIT_VERSION_NUMBER}" ]; then
+
+  version_number=${TRAC_EXPLICIT_VERSION_NUMBER}
+
+elif [ ${exact_version_found} = 0 ]; then
 
   version_number=`echo ${exact_version_tag} | sed s/^v//`