| commit | 22eeb2914f66feaa6d8e1c6391dd126bcc37b2ce | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Oct 01 21:20:53 2021 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Oct 02 04:13:24 2021 -0400 |
| tree | 18756fca0162f5e5193c92bff9646aa33c2ad453 | |
| parent | ad7a61b745900eac3ca0ac9c93cc629233d2b663 [diff] [blame] |
ci: replace Travis with GitHub Actions Sync docs/conf.py with ndn-cxx Change-Id: I2c7106ef52a0e7c00de6767c6b59dbd3ce1dc082
diff --git a/.jenkins.d/09-cleanup.sh b/.jenkins.d/09-cleanup.sh new file mode 100755 index 0000000..fe007ef --- /dev/null +++ b/.jenkins.d/09-cleanup.sh
@@ -0,0 +1,8 @@ +#!/usr/bin/env bash +set -ex + +PROJ=ChronoSync + +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