| commit | 725d3fc9ff6e7ed8897b7f06e7884ece0cd67d70 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Nov 19 23:37:03 2021 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Nov 19 23:37:03 2021 -0500 |
| tree | 84a2faf57bac977f2157edb1d587df863b3a0fbf | |
| parent | 5672d291d95d815c49ed083a1562be45434c8db0 [diff] [blame] |
Sync build flags and CI scripts with ndn-cxx Change-Id: I977af445cd989996d3938d4a3edad0175cc6038a
diff --git a/.jenkins.d/09-cleanup.sh b/.jenkins.d/09-cleanup.sh new file mode 100755 index 0000000..26254a5 --- /dev/null +++ b/.jenkins.d/09-cleanup.sh
@@ -0,0 +1,9 @@ +#!/usr/bin/env bash +set -ex + +PROJ=ndncert + +sudo rm -f /usr/local/bin/"$PROJ"* +sudo rm -fr /usr/local/include/"$PROJ" +sudo rm -f /usr/local/lib{,64}/lib"$PROJ"* +sudo rm -f /usr/local/lib{,64}/pkgconfig/{,lib}"$PROJ".pc