| commit | 4dc4b3cc21b3900568b427784c77cb3762bf0f4f | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Mon Feb 05 20:05:54 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Feb 05 20:18:22 2024 -0500 |
| tree | ada97cb569e4f01dd2420747ba13d6c384ce1d88 | |
| parent | 0b6c561830bd222f84aa55fa806ac65b767b9542 [diff] [blame] |
ci: expand lib64 workaround to more Linux distros Refs: #5299 Change-Id: I0b40cd2b463b92d3b97d08e9edabab673fb13e57
diff --git a/.jenkins.d/40-headers-check.sh b/.jenkins.d/40-headers-check.sh index 28cc98f..5e543dc 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