From 630b0087b4bf478512e6328bebb7a9064f64a0c2 Mon Sep 17 00:00:00 2001 From: Davide Pesavento Date: Sat, 20 Apr 2019 16:36:55 -0400 Subject: [PATCH] ci: adapt to new repo layout for CentOS boost RPMs Change-Id: I3e9d4279c66676c52630907a8190ca13d8a5a6ae --- .jenkins.d/00-deps.sh | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index 31ee137..5b30418 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh @@ -41,9 +41,8 @@ if has CentOS $NODE_LABELS; then devtoolset-7-liblsan-devel sudo yum -y groupinstall 'Development Tools' - svn checkout https://github.com/cmscaltech/sandie-ndn/trunk/packaging/RPMS/x86_64 - sudo rpm -U --force x86_64/boost-license* - sudo rpm -U --force x86_64/boost-doc-html* - sudo rpm -U --force x86_64/libboost* - sudo rpm -U --force x86_64/boost-devel* + svn checkout https://github.com/cmscaltech/sandie-ndn/trunk/packaging/RPMS/x86_64/boost1_58_0 + pushd boost1_58_0 >/dev/null + sudo rpm -Uv --replacepkgs --replacefiles boost-devel* boost-license* libboost_* + popd >/dev/null fi