commit 844b09331bfca9cd06a96775e39bee8225cb2220
author Davide Pesavento <davide.pesavento@lip6.fr> Mon May 07 01:00:16 2018 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> Tue May 08 21:00:00 2018 -0400
tree 3ff716c82ce98073324a7a37335256deb942cef2
parent d9b083e8253575bd0049d3ca4521a07817d0acf1

build: require gcc >= 5.3, boost >= 1.58, openssl >= 1.0.2

This effectively drops support for all versions of Ubuntu older than 16.04

Change-Id: Ie3ab7df9147e97f6467658a6399a4f9379f089c1
Refs: #4462

.jenkins.d/README.md

diff --git a/.jenkins.d/README.md b/.jenkins.d/README.md
index f6e3167..a69ef9e 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.