commit d776a93c9ca8940553e601bb7000d15c26ac02a8
author Davide Pesavento <davidepesa@gmail.com> Fri Mar 20 18:42:36 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Mar 23 22:55:23 2020 -0400
tree cae6d67fdb65d81a85cf08c9e64b6a3f6df797c5
parent ce9c1952ffebe881b6d2d76e01cd500c62c6188b

build: switch to python3

Refs: #5095
Change-Id: Iedc107d41d4832682071986678b015980354786d

.jenkins.d/01-ndn-cxx.sh

diff --git a/.jenkins.d/01-ndn-cxx.sh b/.jenkins.d/01-ndn-cxx.sh
new file mode 100755
index 0000000..f10956c
--- /dev/null
+++ b/.jenkins.d/01-ndn-cxx.sh
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -e
+
+JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+source "$JDIR"/util.sh
+
+set -x
+
+sudo rm -f /usr/local/bin/ndnsec*
+sudo rm -fr /usr/local/include/ndn-cxx
+sudo rm -f /usr/local/lib{,64}/libndn-cxx*
+sudo rm -f /usr/local/lib{,64}/pkgconfig/libndn-cxx.pc