commit 26ea1ac2aa1005a68eff165f54ee67b5c1549b35
author Davide Pesavento <davide.pesavento@lip6.fr> Thu May 10 20:20:03 2018 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> Thu May 10 20:30:47 2018 -0400
tree 5ba12f5940147aa36cb4eef0649cac11c66e3d89
parent c687af62d12d05a3f4d58ec8c49d09f41b9b8d72

build: require gcc >= 5.3

Change-Id: Ie8877a9047c96030f138745a19768fcfa11da855
Refs: #4462

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