From 9bc07e8d8f20a81b2afbff63cf287e5a2ec3b4c8 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Sun, 30 Nov 2014 00:37:35 +0000 Subject: make coverity build script use updated environment variables --- utils/coverity-build.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'utils/coverity-build.sh') 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 -- cgit v1.2.3