| commit | 573a621a779a80ea7a0c29dcae718bcffa7f1db2 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sat Jul 09 21:56:41 2022 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Jul 09 21:58:27 2022 -0400 |
| tree | 37db93f6814c44da77732e47322cc9ba81454cf5 | |
| parent | e78fd4d972d0b34711896086ae5eab848b1f2595 [diff] [blame] |
build: support CentOS Stream 9 Change-Id: I851b76d8159a2c1023f2a743340005795f315a6a
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh index 20e6bd1..25892f5 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