summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcitools/jenkins-build.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh
index 93c4bd3..42173c3 100755
--- a/citools/jenkins-build.sh
+++ b/citools/jenkins-build.sh
@@ -166,8 +166,7 @@ ${MAKE} Q= clean HOST=${HOST} VARIANT=${VARIANT}
if [ "x${HOST}" = "x${TARGET_COVERAGE}" ]; then
# Coverage Build
CFLAGS=-Wno-error ${MAKE} Q= HOST=${HOST} VARIANT=${VARIANT} coverage
- gcovr -x -r build-${BUILD}-${HOST}-${VARIANT}-lib-static -o coverage.xml
-
+ gcovr -v -x -r build-${BUILD}-${HOST}-${VARIANT}-lib-static -e '.*test/.*' -o coverage.xml
elif [ "x${HOST}" = "x${TARGET_STATIC}" ]; then
# static build