diff options
author | Vincent Sanders <vince@kyllikki.org> | 2015-04-30 11:12:47 +0100 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2015-04-30 11:12:47 +0100 |
commit | 85a1a7673f7dda152f1209891bdacfabe0bfa39d (patch) | |
tree | 4db3302ed8a0216537582d710bf1ae31950bacde | |
parent | 12e8dfbfc478bc6d2f8f29466a1e793b86ccf3be (diff) | |
download | buildsystem-85a1a7673f7dda152f1209891bdacfabe0bfa39d.tar.gz buildsystem-85a1a7673f7dda152f1209891bdacfabe0bfa39d.tar.bz2 |
Try different approach to get coverage conversion correct
-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 866afb3..ae2dfec 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 build-${HOST}-${VARIANT}-lib-static -o coverage.xml + gcovr -x -r build-${BUILD}-${HOST}-${VARIANT}-lib-static -o coverage.xml elif [ "x${HOST}" = "x${TARGET_STATIC}" ]; then |