commit bccde32cdaf6bbad2d12ef0ae5f07fac265dee00
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Aug 18 14:10:25 2018 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> Sat Aug 18 14:10:25 2018 -0400
tree de5d420c41cb0b33d50503a41793a3740bc0ad17
parent e6ea3968ef06e54d7f3328a50925a5970604fcb8

Update .travis.yml

Change-Id: Ieb9918b87abca97611f68b05f24851fd391070a4

.jenkins.d/README.md

diff --git a/.jenkins.d/README.md b/.jenkins.d/README.md
index 41812aa..39fa40b 100644
--- a/.jenkins.d/README.md
+++ b/.jenkins.d/README.md
@@ -13,13 +13,13 @@
 
   * `[OS_TYPE]`: `Linux`
   * `[DISTRO_TYPE]`: `Ubuntu`
-  * `[DISTRO_VERSION]`: `Ubuntu-14.04`, `Ubuntu-16.04`
+  * `[DISTRO_VERSION]`: `Ubuntu-16.04`, `Ubuntu-18.04`
 
   Possible values for OS X / macOS:
 
   * `[OS_TYPE]`: `OSX`
   * `[DISTRO_TYPE]`: `OSX` (can be absent)
-  * `[DISTRO_VERSION]`: `OSX-10.10`, `OSX-10.11`, `OSX-10.12`
+  * `[DISTRO_VERSION]`: `OSX-10.11`, `OSX-10.12`, `OSX-10.13`
 
 - `JOB_NAME`: optional variable to define type of the job.  Depending on the defined job type,
   the build scripts can perform different tasks.