summaryrefslogtreecommitdiff
path: root/utils
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2014-11-30 00:37:35 +0000
committerVincent Sanders <vince@kyllikki.org>2014-11-30 00:37:35 +0000
commit9bc07e8d8f20a81b2afbff63cf287e5a2ec3b4c8 (patch)
tree07931bae705567339845d2b7a3e8173fbed9c855 /utils
parent61ab2777daf33e858c60f712758493720dcbd3ed (diff)
downloadnetsurf-9bc07e8d8f20a81b2afbff63cf287e5a2ec3b4c8.tar.gz
netsurf-9bc07e8d8f20a81b2afbff63cf287e5a2ec3b4c8.tar.bz2
make coverity build script use updated environment variables
Diffstat (limited to 'utils')
-rwxr-xr-xutils/coverity-build.sh6
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