commit e11c8d85b898629800403d017876af7f33d8fc00
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Apr 16 14:32:07 2016 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> Fri Apr 22 02:16:13 2016 +0200
tree 6c81516e1272063397943beacb59df4f6c5b1bd5
parent 2e52d7cab4e03631db7f6c89a2daf7de590dd29e

docs+ci: Ubuntu 12.04 is no longer supported

Change-Id: Icff6724c9b76b7e85541b3dcc88408c07f7fd312
Refs: #3599, #3600

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index c32219b..241ffe5 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -17,13 +17,8 @@
 fi
 
 if has Ubuntu $NODE_LABELS; then
-    BOOST_PKG=libboost-all-dev
-    if has Ubuntu-12.04 $NODE_LABELS; then
-        BOOST_PKG=libboost1.48-all-dev
-    fi
-
     set -x
-    sudo apt-get update -qq -y
-    sudo apt-get -qq -y install build-essential pkg-config $BOOST_PKG \
-                                libcrypto++-dev libsqlite3-dev
+    sudo apt-get -qq update
+    sudo apt-get -qq install build-essential pkg-config libboost-all-dev \
+                             libcrypto++-dev libsqlite3-dev
 fi