commit 5188f31d501ada82022e14496529b82c97190e0f
author Davide Pesavento <davidepesa@gmail.com> Mon Mar 18 18:38:45 2019 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Mar 18 19:22:12 2019 -0400
tree 4b4c9de8d98af6ff8b835c0dcd95baa95364e62e
parent 0d837e3f2adcad89730b1b7f68453a508879f4fc

ci: update .travis.yml and jenkins scripts

Change-Id: I22034ef33a13910e2a5639deec4a5609b5a6ad99

.jenkins.d/README.md

diff --git a/.jenkins.d/README.md b/.jenkins.d/README.md
index 39fa40b..5813349 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
 
 - `CACHE_DIR`: the variable defines a path to folder containing cached files from previous builds,