summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcitools/jenkins-build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh
index 7be5d46..e831ce2 100755
--- a/citools/jenkins-build.sh
+++ b/citools/jenkins-build.sh
@@ -154,7 +154,7 @@ ${MAKE} Q= clean HOST=${HOST} VARIANT=${VARIANT}
if [ "x${HOST}" = "x${TARGET_COVERAGE}" ]; then
# Coverage Build
${MAKE} Q= HOST=${HOST} VARIANT=${VARIANT} coverage
- gcovr -x -r . -o coverage.xml
+ gcovr -x -r build-${BUILD}-${HOST}-${VARIANT} -o coverage.xml
elif [ "x${HOST}" = "x${TARGET_STATIC}" ]; then