commit cf8a3684c21910164c80173e676f3c42271ade69
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Nov 24 19:52:21 2018 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> Sat Nov 24 20:33:52 2018 -0500
tree 79de9bb1f72f9a3bdab98c698d90aa2205c2ebcd
parent 946a51cc0e3b1765c3f4396dbb59a0b73c9d705b

ci: install gcovr via apt

Change-Id: I017ec6e4281a0348eca0361643cb3af0167c420f
Refs: #4771

.jenkins.d/README.md

diff --git a/.jenkins.d/README.md b/.jenkins.d/README.md
index a69ef9e..aeb94b0 100644
--- a/.jenkins.d/README.md
+++ b/.jenkins.d/README.md
@@ -27,7 +27,7 @@
   Possible values:
 
   * empty: default build process
-  * `code-coverage` (Linux OS is assumed): debug build with tests and code coverage analysis
+  * `code-coverage` (Ubuntu Linux is assumed): debug build with tests and code coverage analysis
   * `limited-build`: only a single debug build with tests
 
 - `WAF_JOBS`: number of parallel build jobs used by waf, defaults to 1.