From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Thu, 5 Jul 2018 09:53:28 +0000 (+0200)
Subject: [CI] Activate PAPI in Coverage checks.
X-Git-Tag: v3_21~546^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ad518d7ef3f36188ae4f5cd3369e004e68e4df83

[CI] Activate PAPI in Coverage checks.

There are no real tests (yet), but at least that
code compiles again and will be tested for compilation
errors.
---

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index b301313be2..07e40d778b 100755
--- a/tools/jenkins/Coverage.sh
+++ b/tools/jenkins/Coverage.sh
@@ -54,6 +54,7 @@ cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=ON \
       -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
       -Denable_jedule=ON -Denable_mallocators=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_ISP_testsuite=ON -Denable_coverage=ON $WORKSPACE
 
 make -j$NUMPROC