| commit | c6cfed61b6e016c51ae5d0040b185bfe7cb27c72 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Feb 09 21:18:06 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Feb 09 21:35:26 2024 -0500 |
| tree | b5627acd347ace48b11fbf64be19d1be9c36b848 | |
| parent | 11c36389e6b993989b5f7544708e0089c9d25e2a [diff] [blame] |
ci: minimize installed libboost packages Change-Id: Ie69d8324f6d240d9d1284f62da638680b53851e3
diff --git a/.jenkins.d/40-headers-check.sh b/.jenkins.d/40-headers-check.sh index ad268e1..9c29428 100755 --- a/.jenkins.d/40-headers-check.sh +++ b/.jenkins.d/40-headers-check.sh
@@ -11,7 +11,7 @@ exit 0 fi -if [[ $ID_LIKE == *fedora* ]]; then +if [[ $ID_LIKE == *linux* && -d /usr/local/lib64/pkgconfig ]]; then export PKG_CONFIG_PATH=/usr/local/lib64/pkgconfig fi