From 6684b938e24a4a11e45310ca2140b46c7c23a961 Mon Sep 17 00:00:00 2001
From: Vincent Sanders <vince@kyllikki.org>
Date: Fri, 19 Dec 2014 16:56:43 +0000
Subject: [PATCH] Update the coverity build script for buildsystem HOST/BUILD
 changes

---
 utils/coverity-build.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh
index 8bd9011fa..b7174cfc6 100755
--- a/utils/coverity-build.sh
+++ b/utils/coverity-build.sh
@@ -27,10 +27,10 @@
 
 # environment variables
 #
+# HOST The ABI to be compiled for
 # COVERITY_TOKEN
 # COVERITY_USER
 # COVERITY_PREFIX path to tools else default is used
-# BUILD
 #
 # either PREFIX or JENKINS_HOME
 
@@ -38,13 +38,13 @@
 TARGETS="gtk framebuffer monkey"
 
 # setup build environment
-export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${BUILD}}
+export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${HOST}}
 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=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-7.0.2}
+COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-7.5.0}
 COVERITY_VERSION=$(git rev-parse HEAD)
 
 export PATH=${PATH}:${COVERITY_PREFIX}/bin