commit 0e8edde5d10d811410a7f39f6b8d956ab635cbe6
author Davide Pesavento <davide.pesavento@lip6.fr> Tue May 03 18:08:39 2016 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> Tue May 03 18:41:32 2016 +0200
tree 39d0a497e84bc19e19716ab3a143c4b2cdc09115
parent 4a1edc661a1a7fc4150b6d4f9e16c378ae305c92

ci: Ubuntu 12.04 is no longer supported

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

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index 3e2fa7e..549258a 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -13,13 +13,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 libpcap-dev
+    sudo apt-get -qq update
+    sudo apt-get -qq install build-essential pkg-config libboost-all-dev \
+                             libcrypto++-dev libsqlite3-dev libpcap-dev
 fi