commit 98ff2bce67ec6c1655d41b072a425e4a47bf55a4
author Davide Pesavento <davide.pesavento@lip6.fr> Thu May 24 00:10:31 2018 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> Wed Jun 06 16:28:49 2018 -0400
tree 7f376de030828e9e071b6e0808d0892a4ba57618
parent 93eb49ba064574369627e769e2c7885673293d54

build: require gcc >= 5.3 and switch to C++14

Change-Id: I53ecd93b5666f451129afbe7ba02de357218efb5
Refs: #4462, #3076

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