diff options
| author | David Lamparter <equinox@diac24.net> | 2018-12-17 01:02:51 +0100 |
|---|---|---|
| committer | David Lamparter <equinox@diac24.net> | 2018-12-18 02:19:14 +0100 |
| commit | 555c0833b13a788e1d00d41912deabf96534d20f (patch) | |
| tree | 8c14366905e1e3faf2191724c89d55eea47ea8d8 | |
| parent | 0d03820af3746aa9f79570761183f19092056c6d (diff) | |
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>
| -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 8ec3346c35..110558da0d 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 |