| commit | 7e7bd899e89898775335b32201453b9a713c51ab | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 10 00:30:06 2022 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 10 00:30:06 2022 -0400 |
| tree | 442e89f5acaebd6a7ebfd13774da63f93d5ec413 | |
| parent | bde084f040ffb7838c5234f55cd18a625121dd68 [diff] [blame] |
build: support CentOS Stream 9 Change-Id: Ia91d81f888437d026fef658fce9a03a787c7ed23
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh index 692ad2f..23c2987 100755 --- a/.jenkins.d/10-build.sh +++ b/.jenkins.d/10-build.sh
@@ -36,6 +36,9 @@ # Install sudo_preserve_env PATH -- ./waf --color=yes install +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 sudo ldconfig fi