commit 8d6192a1d6c18e1c39286c721090a72123123d02
author Davide Pesavento <davidepesa@gmail.com> Fri Feb 09 21:23:50 2024 -0500
committer Davide Pesavento <davidepesa@gmail.com> Fri Feb 09 21:36:04 2024 -0500
tree eb20bb06a38ff2a6fe5787561b03273d863b3dcb
parent 6cda3e722ad2b46f940dcbed081cb8477a7c4ce5

ci: minimize installed libboost packages

Change-Id: Iccaa39bbffb218cfe693ccf2e48c56d24fbd98aa

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index c1e2ded..e6e505d 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -38,9 +38,9 @@
 # Install
 sudo ./waf --color=yes install
 
-if [[ $ID_LIKE == *fedora* ]]; then
-    sudo tee /etc/ld.so.conf.d/ndn.conf >/dev/null <<< /usr/local/lib64
-fi
 if [[ $ID_LIKE == *linux* ]]; then
+    if [[ $(uname -m) == x86_64 && -d /usr/lib64 ]]; then
+        sudo tee /etc/ld.so.conf.d/ndn.conf >/dev/null <<< /usr/local/lib64
+    fi
     sudo ldconfig
 fi