| commit | bb55addec09a1039d6f4de2e580b71968c3bd513 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Feb 09 15:12:35 2021 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Wed Feb 10 13:50:23 2021 -0500 |
| tree | 530a59f2b61ded81e75ce8e7607640088055ab59 | |
| parent | eeca59e0c3ade22c61e01a546194a5f776781abf [diff] [blame] |
ci: compile-check installed headers Script copied from ndn-cxx with minor modifications Change-Id: Ib2e82e97161078d653f965c769de149cc28c60dd
diff --git a/.jenkins.d/02-cleanup.sh b/.jenkins.d/02-cleanup.sh new file mode 100755 index 0000000..69c52e9 --- /dev/null +++ b/.jenkins.d/02-cleanup.sh
@@ -0,0 +1,8 @@ +#!/usr/bin/env bash +set -ex + +PROJ=PSync + +sudo rm -fr /usr/local/include/"$PROJ" +sudo rm -f /usr/local/lib{,64}/lib"$PROJ"* +sudo rm -f /usr/local/lib{,64}/pkgconfig/"$PROJ".pc