From 6548d564fd75795806ee9f9e7c6abaa43e56cdf5 Mon Sep 17 00:00:00 2001
From: Vincent Sanders <vince@kyllikki.org>
Date: Thu, 30 Apr 2015 15:47:50 +0100
Subject: make coverage builds not fail on warning

---
 citools/jenkins-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh
index ae2dfec..2646427 100755
--- a/citools/jenkins-build.sh
+++ b/citools/jenkins-build.sh
@@ -153,7 +153,7 @@ ${MAKE} Q= clean HOST=${HOST} VARIANT=${VARIANT}
 # build as per type requested
 if [ "x${HOST}" = "x${TARGET_COVERAGE}" ]; then
     # Coverage Build
-    ${MAKE} Q= HOST=${HOST} VARIANT=${VARIANT} coverage
+    CFLAGS=-Wno-error ${MAKE} Q= HOST=${HOST} VARIANT=${VARIANT} coverage
     gcovr -x -r build-${BUILD}-${HOST}-${VARIANT}-lib-static -o coverage.xml
 
 
-- 
cgit v1.2.3