diff options
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 |