| commit | 9c4bd6d711800c992c258fbc8d1e1fba63e3424d | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Jul 26 15:28:08 2022 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Jul 26 15:28:08 2022 -0400 |
| tree | 87c3ad0014975ec525c47eab72213b6fc91eb339 | |
| parent | 54bf15afef22ba31115cdd57690b259d02e934b9 [diff] [blame] |
build: support CentOS Stream 9, make graphviz optional Change-Id: I5c0d824720f9f701ee2a88774e661c7472baea88
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