From 5ed3e0f2c9aa074fe4194055433be38e316659b2 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sun, 27 Mar 2022 19:11:11 +0000 Subject: [PATCH] ignore MBI in cobertura reports. Keep them for PVS for now, as report may be useful --- tools/jenkins/Coverage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.20.1