commit 1526fee9d39076763d73ffa908929b9592bbba05
author Davide Pesavento <davidepesa@gmail.com> Mon Mar 18 19:31:55 2019 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Mar 18 19:31:55 2019 -0400
tree c0c285b7fdc8ceef719c0d7ed244437ba14ea3dd
parent 3cb0b1b408a5a6542af77fb782018bb962b24bcb

ci: update jenkins scripts and add .travis.yml

Change-Id: I1c5c743a310da5a32b462b69f76c97dfcdc822a9

.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,