diff options
| -rwxr-xr-x | tools/Linux/packaging/mk-debian-package.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/Linux/packaging/mk-debian-package.sh b/tools/Linux/packaging/mk-debian-package.sh index 6b38362cdf..954a06b1ee 100755 --- a/tools/Linux/packaging/mk-debian-package.sh +++ b/tools/Linux/packaging/mk-debian-package.sh @@ -22,6 +22,7 @@ RELEASEV=${RELEASEV:-"auto"} VERSION_PREFIX=${VERSION_PREFIX:-""} TAG=${TAG} +TAGREV=${TAGREV:-""} REPO_DIR=${WORKSPACE:-$(cd "$(dirname $0)/../../../" ; pwd)} [[ $(which lsb_release) ]] && DISTS=${DISTS:-$(lsb_release -cs)} || DISTS=${DISTS:-"stable"} ARCHS=${ARCHS:-$(dpkg --print-architecture)} |