commit 8bd3b8a305c3c300ceeac589b6609e768f2ed07d
author Md Ashiqur Rahman <marahman@email.arizona.edu> Sat Sep 01 23:43:51 2018 +0000
committer Davide Pesavento <davide.pesavento@lip6.fr> Mon Sep 10 21:58:13 2018 -0400
tree 17de875a506affb7336cad72947d84ce38f498de
parent cdb5d8f646d0ba5f3ea775bc9008bce0ed61f507

ci: add support for CentOS 7

refs: #4610

Change-Id: I458ee0c2bbe54722cf5874c8725b8126629a4d98

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 875a908..09b09e3 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -8,8 +8,8 @@
 
 sudo rm -f /usr/local/bin/ndnsec*
 sudo rm -fr /usr/local/include/ndn-cxx
-sudo rm -f /usr/local/lib/libndn-cxx*
-sudo rm -f /usr/local/lib/pkgconfig/libndn-cxx.pc
+sudo rm -f /usr/local/lib{,64}/libndn-cxx*
+sudo rm -f /usr/local/lib{,64}/pkgconfig/libndn-cxx.pc
 
 if [[ $JOB_NAME == *"code-coverage" ]]; then
     COVERAGE="--with-coverage"