diff options
author | Pierre Grandin <grandinp@altern.org> | 2016-11-30 20:07:09 +0000 |
---|---|---|
committer | Pierre Grandin <grandinp@altern.org> | 2016-11-30 20:07:09 +0000 |
commit | 589056c1b82569afd55312a15deda13f1c38d7da (patch) | |
tree | 182fa2f2d685c2bfc5a295eb78141a44a454a629 /ci/build_linux.sh | |
parent | ccdd226410d955b0571650e3841f05c21ba45517 (diff) | |
download | navit-589056c1b82569afd55312a15deda13f1c38d7da.tar.gz |
Only setup coverity when needed
Diffstat (limited to 'ci/build_linux.sh')
-rw-r--r-- | ci/build_linux.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index 8c3ca1b9b..d15ba965a 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -1,6 +1,7 @@ sudo apt-get install cmake libpng12-dev librsvg2-bin libfreetype6-dev libdbus-glib-1-dev g++ libgtk2.0-dev if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trunk" ]]; then + wget -nv -c -O ~/assets/cov-analysis-linux64-7.6.0.tar.gz http://sd-55475.dedibox.fr/cov-analysis-linux64-7.6.0.tar.gz tar xfz ~/assets/cov-analysis-linux64-7.6.0.tar.gz export PATH=~/navit/cov-analysis-linux64-7.6.0/bin:$PATH |