From: Augustin Degomme <adegomme@gmail.com>
Date: Sun, 27 Mar 2022 19:11:11 +0000 (+0000)
Subject: ignore MBI in cobertura reports. Keep them for PVS for now, as report may be useful
X-Git-Tag: v3.32~376
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5ed3e0f2c9aa074fe4194055433be38e316659b2

ignore MBI in cobertura reports. Keep them for PVS for now, as report may be useful
---

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index fdc66be217..91c891575d 100755
--- a/tools/jenkins/Coverage.sh
+++ b/tools/jenkins/Coverage.sh
@@ -110,7 +110,7 @@ if [ -f Testing/TAG ] ; then
 
   cd "$WORKSPACE"
   #convert all gcov reports to xml cobertura reports
-  gcovr -r . --xml-pretty -e teshsuite -e examples/smpi/NAS -e examples/smpi/mc -u -o "$BUILDFOLDER"/xml_coverage.xml
+  gcovr -r . --xml-pretty -e teshsuite -e build/MBI -e examples/smpi/NAS -e examples/smpi/mc -u -o "$BUILDFOLDER"/xml_coverage.xml
   xsltproc "$WORKSPACE"/tools/jenkins/ctest2junit.xsl build/Testing/"$( head -n 1 < build/Testing/TAG )"/Test.xml > CTestResults_memcheck.xml
 
   #generate sloccount report