diff options
| -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 |