commit | 2349e28c6d56d820624e2b9a666aa864a1518ab9 | [log] [tgz] |
---|---|---|
author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 24 14:28:03 2020 -0400 |
committer | Davide Pesavento <davidepesa@gmail.com> | Thu Mar 26 17:56:05 2020 -0400 |
tree | e51e88af5078cfe8efb08b8ebc5e59b920f6aaf2 | |
parent | d776a93c9ca8940553e601bb7000d15c26ac02a8 [diff] [blame] |
build: add CentOS 8 support; drop CentOS 7 Refs: #5040, #5087 Change-Id: I6dcc5e9ee6b4839a6b3f15f1ad6dabf140301ae4
diff --git a/.jenkins.d/01-ndn-cxx.sh b/.jenkins.d/01-ndn-cxx.sh index f10956c..6f50dba 100755 --- a/.jenkins.d/01-ndn-cxx.sh +++ b/.jenkins.d/01-ndn-cxx.sh
@@ -1,10 +1,5 @@ #!/usr/bin/env bash -set -e - -JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) -source "$JDIR"/util.sh - -set -x +set -ex sudo rm -f /usr/local/bin/ndnsec* sudo rm -fr /usr/local/include/ndn-cxx