diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-10 12:52:16 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-10 12:52:16 +0100 |
| commit | e300ea6a372bee756783c96ae87f9228f2ae8b86 (patch) | |
| tree | afea2719221e09aef28e79d0d34c2e7cbff9944d /dist/linux | |
| parent | a4fb9e1c52c9091c9a69a4f1091b06e0b21e188d (diff) | |
| download | ghdl-e300ea6a372bee756783c96ae87f9228f2ae8b86.tar.gz ghdl-e300ea6a372bee756783c96ae87f9228f2ae8b86.tar.bz2 ghdl-e300ea6a372bee756783c96ae87f9228f2ae8b86.zip | |
travis-ci: tentatively fix git --describe for version.
Diffstat (limited to 'dist/linux')
| -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 |