| commit | 3c7f645852813ae9d44b429b80203fc0ec6fe1ee | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sat Oct 02 04:06:26 2021 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Oct 02 04:08:37 2021 -0400 |
| tree | 690521289985c1c59415711058f9a22251ebdc8d | |
| parent | ebeaeae8c4708ea754db19ab010b05904427dc7b [diff] [blame] |
ci: replace Travis with GitHub Actions Minor cleanups in docs and build scripts Change-Id: Icfab337d1b9c78f91ea0c47b65eb4dae6d589b18
diff --git a/.jenkins.d/09-cleanup.sh b/.jenkins.d/09-cleanup.sh new file mode 100755 index 0000000..e1c0a2e --- /dev/null +++ b/.jenkins.d/09-cleanup.sh
@@ -0,0 +1,8 @@ +#!/usr/bin/env bash +set -ex + +PROJ=ndn-nac + +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