diff options
author | Pierre Grandin <grandinp@gmail.com> | 2017-09-12 10:51:03 -0700 |
---|---|---|
committer | Pierre Grandin <grandinp@gmail.com> | 2017-09-12 10:51:03 -0700 |
commit | 3d01bd74fff026eaf9e74dea7fafff4a8bb5f988 (patch) | |
tree | 29f658a39b2c06f0384d99c44a5d51207faedcc0 | |
parent | 64f09e6b87114e373892440b0efbf1cfd4771c9c (diff) | |
download | navit-3d01bd74fff026eaf9e74dea7fafff4a8bb5f988.tar.gz |
Fixed potential path issues
-rw-r--r-- | ci/build_linux.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index 42433737e..29a5ec59b 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -8,9 +8,9 @@ cmake_opts="-Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOO if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "coverity_upgrade" ]]; then # If we are building the official trunk code, push an update to coverity - wget -nv -c -O ~/assets/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz http://sd-55475.dedibox.fr/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz - tar xfz ~/assets/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz - export PATH=~/navit/cov-analysis-linux64-${COVERITY_VERSION}/bin:$PATH + wget -nv -c -O /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz http://sd-55475.dedibox.fr/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz + tar xfz /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz -C /usr/local/share/ + export PATH=/usr/local/share/cov-analysis-linux64-${COVERITY_VERSION}/bin:$PATH mkdir ~/linux-bin && cd ~/linux-bin cov-build --dir cov-int cmake ~/${CIRCLE_PROJECT_REPONAME}/ ${cmake_opts} |