| commit | 8d6192a1d6c18e1c39286c721090a72123123d02 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Feb 09 21:23:50 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Feb 09 21:36:04 2024 -0500 |
| tree | eb20bb06a38ff2a6fe5787561b03273d863b3dcb | |
| parent | 6cda3e722ad2b46f940dcbed081cb8477a7c4ce5 [diff] [blame] |
ci: minimize installed libboost packages Change-Id: Iccaa39bbffb218cfe693ccf2e48c56d24fbd98aa
diff --git a/.jenkins.d/40-headers-check.sh b/.jenkins.d/40-headers-check.sh index 98d2391..958559e 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