Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[CI] Activate PAPI in Coverage checks.
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 5 Jul 2018 09:53:28 +0000 (11:53 +0200)
committerChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 5 Jul 2018 09:53:36 +0000 (11:53 +0200)
commitad518d7ef3f36188ae4f5cd3369e004e68e4df83
tree36246a7399246dd9f627e5853938935eae862c47
parentba404620ba1ee7677e7bfa5b13b8f4e6bab10e3b
[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.
tools/jenkins/Coverage.sh