diff options
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 659171d12..7dd6e7964 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -14,6 +14,11 @@ printf "$ANSI_YELLOW[TRAVIS] Travis environment $ANSI_NOCOLOR\n" env | grep TRAVIS echo -en "travis_fold:end:travis_env\r" +# Build version.tmp and replace version.in with it (so that the version is +# correctly set). +git fetch --unshallow +make -f Makefile.in srcdir=. version.tmp +cp version.tmp src/version.in # Compute package name |