try release versioning whenever PDNS_TAG is set explicitly

diff --git a/build-scripts/make-jenkins-version b/build-scripts/make-jenkins-version
index d55ae906e73915dd6fd30e13fac985d345eedb23..f632bd1060e85489f2a71608d91866fc488e7428 100755 (executable)
--- a/build-scripts/make-jenkins-version
+++ b/build-scripts/make-jenkins-version
@@ -25,7 +25,7 @@ then
        source_version=git-${source_dbg}
        deb_version=0.0.${deb_dbg}
        rpm_version=0.0.${rpm_dbg}
-elif [[ $GIT_BRANCH = rel/* ]]
+elif [[ $GIT_BRANCH = rel/* ]] || [ $PDNS_TAG != HEAD ]
 then
        # on release branch
        product_version=${GIT_BRANCH#rel/}