From 927ad570341edde0ea8f133b12562cbf46572139 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sun, 27 Mar 2022 12:37:31 +0000 Subject: [PATCH] test activating MBI on coverage build --- 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 6b240b22b1..fdc66be217 100755 --- a/tools/jenkins/Coverage.sh +++ b/tools/jenkins/Coverage.sh @@ -72,7 +72,7 @@ cmake -Denable_documentation=OFF \ -Denable_ns3=ON \ -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=ON \ -Denable_smpi_papi=ON \ - -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_MBI_testsuite=OFF \ + -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_MBI_testsuite=ON \ -Denable_coverage=ON -DLTO_EXTRA_FLAG="auto" -DCMAKE_EXPORT_COMPILE_COMMANDS=ON "$WORKSPACE" #build with sonarqube scanner wrapper -- 2.20.1