diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-10 19:03:34 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-10 19:09:49 +0100 |
| commit | aa88b88f890a8ebe09f5ed45a67b955e63387239 (patch) | |
| tree | 70eacbc2563f7d8f6d8a128492b557308f480187 /dist/linux | |
| parent | b0cea0acf5f7130755f303e565d21c13c3a4e83b (diff) | |
| download | ghdl-aa88b88f890a8ebe09f5ed45a67b955e63387239.tar.gz ghdl-aa88b88f890a8ebe09f5ed45a67b955e63387239.tar.bz2 ghdl-aa88b88f890a8ebe09f5ed45a67b955e63387239.zip | |
travis-ci: allow unshallow to fail.
Diffstat (limited to 'dist/linux')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 7dd6e7964..727d28b3b 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -14,9 +14,12 @@ printf "$ANSI_YELLOW[TRAVIS] Travis environment $ANSI_NOCOLOR\n" env | grep TRAVIS echo -en "travis_fold:end:travis_env\r" +# The command 'git describe' (used for version) needs the history. Get it. +# But the following command fails if the repository is complete. +git fetch --unshallow || true + # 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 |