commit | fbca611095994a50566e508aff7b13eb022d37c4 | [log] [tgz] |
---|---|---|
author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 03 16:31:04 2022 -0400 |
committer | Davide Pesavento <davidepesa@gmail.com> | Mon Jul 04 15:47:32 2022 -0400 |
tree | 2821ef8067072e08b04cec7860b9494f189798d5 | |
parent | 80d671f9965fd71b2ff82536a3274d0e53619beb [diff] [blame] |
ci+docs: support CentOS Stream 9, drop CentOS 8 Refs: #5181 Change-Id: I1d1a0ed02736ef5ec0c28d51f1c4f56f6e00d129
diff --git a/.jenkins.d/40-headers-check.sh b/.jenkins.d/40-headers-check.sh index 861d8c9..e3493f4 100755 --- a/.jenkins.d/40-headers-check.sh +++ b/.jenkins.d/40-headers-check.sh
@@ -13,7 +13,7 @@ exit 0 fi -if has CentOS-8 $NODE_LABELS; then +if has CentOS $NODE_LABELS; then export PKG_CONFIG_PATH=/usr/local/lib64/pkgconfig fi