diff options
-rwxr-xr-x | citools/jenkins-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |