diff options
author | Vincent Sanders <vince@kyllikki.org> | 2014-12-19 16:56:43 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2014-12-19 16:56:43 +0000 |
commit | 6684b938e24a4a11e45310ca2140b46c7c23a961 (patch) | |
tree | 629acbe79b263b00b48f2a79d385461255cb6993 | |
parent | 876b6cbeb0eaf718f17bdbadf37182cb72730d81 (diff) | |
download | netsurf-6684b938e24a4a11e45310ca2140b46c7c23a961.tar.gz netsurf-6684b938e24a4a11e45310ca2140b46c7c23a961.tar.bz2 |
Update the coverity build script for buildsystem HOST/BUILD changes
-rwxr-xr-x | utils/coverity-build.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh index 8bd9011fa..b7174cfc6 100755 --- a/utils/coverity-build.sh +++ b/utils/coverity-build.sh @@ -27,10 +27,10 @@ # environment variables # +# HOST The ABI to be compiled for # COVERITY_TOKEN # COVERITY_USER # COVERITY_PREFIX path to tools else default is used -# BUILD # # either PREFIX or JENKINS_HOME @@ -38,13 +38,13 @@ TARGETS="gtk framebuffer monkey" # setup build environment -export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${BUILD}} +export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${HOST}} export PKG_CONFIG_PATH=${PREFIX}/lib/pkgconfig export LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${PREFIX}/lib export PATH=${PATH}:${PREFIX}/bin # Coverity tools location -COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-7.0.2} +COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-7.5.0} COVERITY_VERSION=$(git rev-parse HEAD) export PATH=${PATH}:${COVERITY_PREFIX}/bin |