summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2014-12-19 16:56:43 +0000
committerVincent Sanders <vince@kyllikki.org>2014-12-19 16:56:43 +0000
commit6684b938e24a4a11e45310ca2140b46c7c23a961 (patch)
tree629acbe79b263b00b48f2a79d385461255cb6993
parent876b6cbeb0eaf718f17bdbadf37182cb72730d81 (diff)
downloadnetsurf-6684b938e24a4a11e45310ca2140b46c7c23a961.tar.gz
netsurf-6684b938e24a4a11e45310ca2140b46c7c23a961.tar.bz2
Update the coverity build script for buildsystem HOST/BUILD changes
-rwxr-xr-xutils/coverity-build.sh6
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