Gitweb links: ...log http://git.netsurf-browser.org/netsurf.git/shortlog/6684b938e24a4a11e4531... ...commit http://git.netsurf-browser.org/netsurf.git/commit/6684b938e24a4a11e45310c... ...tree http://git.netsurf-browser.org/netsurf.git/tree/6684b938e24a4a11e45310ca2... The branch, master has been updated via 6684b938e24a4a11e45310ca2140b46c7c23a961 (commit) from 876b6cbeb0eaf718f17bdbadf37182cb72730d81 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commitdiff http://git.netsurf-browser.org/netsurf.git/commit/?id=6684b938e24a4a11e45... commit 6684b938e24a4a11e45310ca2140b46c7c23a961 Author: Vincent Sanders <vince(a)kyllikki.org&gt; Commit: Vincent Sanders <vince(a)kyllikki.org&gt; Update the coverity build script for buildsystem HOST/BUILD changes diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh index 8bd9011..b7174cf 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 ----------------------------------------------------------------------- Summary of changes: utils/coverity-build.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh index 8bd9011..b7174cf 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 -- NetSurf Browser