diff options
author | Vincent Sanders <vince@kyllikki.org> | 2014-11-30 00:37:35 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2014-11-30 00:37:35 +0000 |
commit | 9bc07e8d8f20a81b2afbff63cf287e5a2ec3b4c8 (patch) | |
tree | 07931bae705567339845d2b7a3e8173fbed9c855 /utils/coverity-build.sh | |
parent | 61ab2777daf33e858c60f712758493720dcbd3ed (diff) | |
download | netsurf-9bc07e8d8f20a81b2afbff63cf287e5a2ec3b4c8.tar.gz netsurf-9bc07e8d8f20a81b2afbff63cf287e5a2ec3b4c8.tar.bz2 |
make coverity build script use updated environment variables
Diffstat (limited to 'utils/coverity-build.sh')
-rwxr-xr-x | utils/coverity-build.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh index 05696f7e2..8bd9011fa 100755 --- a/utils/coverity-build.sh +++ b/utils/coverity-build.sh @@ -30,17 +30,15 @@ # COVERITY_TOKEN # COVERITY_USER # COVERITY_PREFIX path to tools else default is used +# BUILD # # either PREFIX or JENKINS_HOME # build gtk, framebuffer and monkey frontend by default TARGETS="gtk framebuffer monkey" -# We build for the Linux platform by default -ARTIFACT_TARGET=${TARGET:-Linux} - # setup build environment -export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${ARTIFACT_TARGET}} +export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${BUILD}} export PKG_CONFIG_PATH=${PREFIX}/lib/pkgconfig export LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${PREFIX}/lib export PATH=${PATH}:${PREFIX}/bin |