summaryrefslogtreecommitdiff
path: root/ci/build_linux.sh
diff options
context:
space:
mode:
authorPierre Grandin <grandinp@altern.org>2016-11-30 20:07:09 +0000
committerPierre Grandin <grandinp@altern.org>2016-11-30 20:07:09 +0000
commit589056c1b82569afd55312a15deda13f1c38d7da (patch)
tree182fa2f2d685c2bfc5a295eb78141a44a454a629 /ci/build_linux.sh
parentccdd226410d955b0571650e3841f05c21ba45517 (diff)
downloadnavit-589056c1b82569afd55312a15deda13f1c38d7da.tar.gz
Only setup coverity when needed
Diffstat (limited to 'ci/build_linux.sh')
-rw-r--r--ci/build_linux.sh1
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