commit fbca611095994a50566e508aff7b13eb022d37c4
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

ci+docs: support CentOS Stream 9, drop CentOS 8

Refs: #5181
Change-Id: I1d1a0ed02736ef5ec0c28d51f1c4f56f6e00d129

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index f2ddf0c..a4e6cd5 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -10,8 +10,7 @@
 if [[ $JOB_NAME == *"code-coverage" ]]; then
     COVERAGE="--with-coverage"
 fi
-if has CentOS-8 $NODE_LABELS; then
-    # https://bugzilla.redhat.com/show_bug.cgi?id=1721553
+if [[ -n $DISABLE_PCH ]]; then
     PCH="--without-pch"
 fi
 
@@ -40,7 +39,7 @@
 # Install
 sudo_preserve_env PATH -- ./waf --color=yes install
 
-if has CentOS-8 $NODE_LABELS; then
+if has CentOS $NODE_LABELS; then
     sudo tee /etc/ld.so.conf.d/ndn.conf >/dev/null <<< /usr/local/lib64
 fi
 if has Linux $NODE_LABELS; then