diff options
author | David Lamparter <equinox@diac24.net> | 2018-12-17 01:02:51 +0100 |
---|---|---|
committer | David Lamparter <equinox@diac24.net> | 2019-02-19 21:34:06 +0100 |
commit | 6b3758779125d6cb80863f5488c0bd9a02c813ec (patch) | |
tree | 8d0f57ca248411438db80cb9bbe3b5b9931ac010 /tools | |
parent | tools: update build-debian-package.sh (diff) | |
download | frr-6b3758779125d6cb80863f5488c0bd9a02c813ec.tar.xz frr-6b3758779125d6cb80863f5488c0bd9a02c813ec.zip |
tools/tarsource.sh: keep version info on non-git
extraver won't have any useful value on a non-git run.
Signed-off-by: David Lamparter <equinox@diac24.net>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/tarsource.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/tarsource.sh b/tools/tarsource.sh index 8ec3346c3..110558da0 100755 --- a/tools/tarsource.sh +++ b/tools/tarsource.sh @@ -246,6 +246,9 @@ echo -e "\033[33;1mpreparing source tree\033[m" if test -f config.version; then # never executed for clean git build . ./config.version + if $nongit; then + $extraset || extraver="$EXTRAVERSION" + fi fi if test \! -f configure; then # always executed for clean git build |