commit 0a5e5e2fa50bfaee5f77246f26747d0743af774e
author Davide Pesavento <davide.pesavento@lip6.fr> Tue Sep 13 18:29:33 2016 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> Tue Sep 13 18:29:33 2016 +0000
tree 2f95af7014f49ed8f4cce35ac4a3f20177e9c133
parent 8527f86de487a9e100a5a3a476f6317a6471235b

ci: fix gcovr invocation

Change-Id: If74633cfb67725b43a55d7b190b178137ad2c420
Refs: #3418

.jenkins.d/30-coverage.sh

diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh
index f211681..d09e270 100755
--- a/.jenkins.d/30-coverage.sh
+++ b/.jenkins.d/30-coverage.sh
@@ -6,9 +6,9 @@
 source "$JDIR"/util.sh
 
 if [[ $JOB_NAME == *"code-coverage" ]]; then
-    gcovr --output=coverage.xml \
-          --filter="$PWD/core" --filter="$PWD/daemon" --filter="$PWD/rib" --filter="$PWD/tools" \
+    gcovr --object-directory=build \
+          --output=build/coverage.xml \
+          --exclude="$PWD/(build|tests|websocketpp)" \
           --root=. \
-          --xml \
-          build
+          --xml
 fi