commit 221f53bb6f7706a8ed1f3cda2947d34c3952cb30
author Davide Pesavento <davide.pesavento@lip6.fr> Sun Jun 04 17:17:31 2017 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> Sun Jun 04 19:32:53 2017 -0400
tree 09f4725a7c0c5747bb3832ccf880b3e7f36f0653
parent 9f3973e7b7cf974a0b94fab4a87697c1408bd532

ci: filter websocketpp files from lcov output

Change-Id: Ibd1ce39b0bf936e280e0277eaabf98cc68a5d656

.jenkins.d/30-coverage.sh

diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh
index 0a83447..0dbb03a 100755
--- a/.jenkins.d/30-coverage.sh
+++ b/.jenkins.d/30-coverage.sh
@@ -19,6 +19,11 @@
          --directory . \
          --no-external \
          --rc lcov_branch_coverage=1 \
+         --output-file build/coverage-with-tests-and-websocketpp.info
+
+    lcov --quiet \
+         --remove build/coverage-with-tests-and-websocketpp.info "$PWD/websocketpp/*" \
+         --rc lcov_branch_coverage=1 \
          --output-file build/coverage-with-tests.info
 
     lcov --quiet \