| commit | 508d2cba58484b010cf6142474c21a3b63e5d922 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sat Feb 10 14:55:04 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Feb 10 15:05:24 2024 -0500 |
| tree | a1a2605cf9a869b852abd979c3cf2a700d060ccf | |
| parent | eec6b03d73e961d76ef652c0b6d7fcc645ffb12c [diff] [blame] |
ci: minimize installed libboost packages Change-Id: I06545c639ebb5b5fdb302534d5b7c5e4d9aeca6c
diff --git a/.jenkins.d/40-headers-check.sh b/.jenkins.d/40-headers-check.sh index a008516..458dc0e 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