commit c6cfed61b6e016c51ae5d0040b185bfe7cb27c72
author Davide Pesavento <davidepesa@gmail.com> Fri Feb 09 21:18:06 2024 -0500
committer Davide Pesavento <davidepesa@gmail.com> Fri Feb 09 21:35:26 2024 -0500
tree b5627acd347ace48b11fbf64be19d1be9c36b848
parent 11c36389e6b993989b5f7544708e0089c9d25e2a

ci: minimize installed libboost packages

Change-Id: Ie69d8324f6d240d9d1284f62da638680b53851e3

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 2180a93..830d3e8 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -35,9 +35,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