From 3e070502e62b3a743f22362aff79c288da885af7 Mon Sep 17 00:00:00 2001
From: Vincent Sanders <vince@netsurf-browser.org>
Date: Thu, 7 Nov 2013 12:16:58 +0000
Subject: improve default setting so we can override from CI system

---
 utils/coverity-build.sh | 14 +++++++++-----
 1 file 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
-- 
cgit v1.2.3