commit 65ee9921497b5b7317e19abeebc80e297765032a
author Davide Pesavento <davidepesa@gmail.com> Wed Nov 16 00:21:43 2022 -0500
committer Davide Pesavento <davidepesa@gmail.com> Sun Nov 20 22:08:09 2022 -0500
tree 7701e03b27cd48c23f7ecca01e6d4ec1bdc88e44
parent 69904fcb73014df3b4f505259e49db398247c56e

lsdb: use ndn-cxx's Segmenter

This commit also makes lld the preferred linker on Linux

Change-Id: I178ca7d28ad21d8a1e3f3daf99f80206e8b1c54e

.jenkins

diff --git a/.jenkins b/.jenkins
index ee16e29..0f40e00 100755
--- a/.jenkins
+++ b/.jenkins
@@ -16,6 +16,7 @@
         # Emulate a subset of os-release(5)
         export ID=macos
         export VERSION_ID=$(sw_vers -productVersion)
+        export PATH="/usr/local/bin${PATH:+:}${PATH}"
         if [[ -x /opt/homebrew/bin/brew ]]; then
             eval "$(/opt/homebrew/bin/brew shellenv)"
         elif [[ -x /usr/local/bin/brew ]]; then
@@ -25,7 +26,11 @@
 esac
 
 export CACHE_DIR=${CACHE_DIR:-/tmp}
-[[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes
+
+if [[ $JOB_NAME == *"code-coverage" ]]; then
+    export DISABLE_ASAN=yes
+    export DISABLE_HEADERS_CHECK=yes
+fi
 
 for file in .jenkins.d/*; do
     [[ -f $file && -x $file ]] || continue