diff options
author | Vincent Sanders <vince@netsurf-browser.org> | 2013-11-07 12:16:58 +0000 |
---|---|---|
committer | Vincent Sanders <vince@netsurf-browser.org> | 2013-11-07 12:16:58 +0000 |
commit | 3e070502e62b3a743f22362aff79c288da885af7 (patch) | |
tree | b6ee4956e458cf9e936287c9cea0832bcbf97381 /utils | |
parent | 8442ab42fb1ab920c148a2196cd6e1133de3cca4 (diff) | |
download | netsurf-3e070502e62b3a743f22362aff79c288da885af7.tar.gz netsurf-3e070502e62b3a743f22362aff79c288da885af7.tar.bz2 |
improve default setting so we can override from CI system
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/coverity-build.sh | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh index 3f2ce6734..a94ee4401 100755 --- a/utils/coverity-build.sh +++ b/utils/coverity-build.sh @@ -29,20 +29,24 @@ # # COVERITY_TOKEN # COVERITY_USER -# JENKINS_HOME +# COVERITY_PREFIX path to tools else default is used +# +# either PREFIX or JENKINS_HOME -# We build for the Linux targets -ARTIFACT_TARGET=Linux +# 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=${JENKINS_HOME}/artifacts-${ARTIFACT_TARGET} +export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${ARTIFACT_TARGET}} 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=/opt/coverity/cov-analysis-linux64-6.6.1 +COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-6.6.1} COVERITY_VERSION=$(git rev-parse HEAD) export PATH=${PATH}:${COVERITY_PREFIX}/bin |