| commit | f278438bc7fd5d5e092ad7ecb083ee2fbcecda0b | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sat Jul 09 19:58:53 2022 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Jul 09 19:58:53 2022 -0400 |
| tree | a0e563bcb8aed02dade29ef02bdbb75e50dc1be7 | |
| parent | 16d493ecebff09e9e64c5af0c8233f1bc30ce173 [diff] [blame] |
build: support CentOS Stream 9 Change-Id: I8864a856b4f777110cea37528d963e9eb77ed973
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