commit d66fb491df36a89045c0ba4e234cd84dba4c070d
author Davide Pesavento <davidepesa@gmail.com> Wed Nov 30 19:52:35 2022 -0500
committer Davide Pesavento <davidepesa@gmail.com> Wed Nov 30 19:52:35 2022 -0500
tree 99fcb0f494c8a9f34b80af66a7454d32f4cda86d
parent 6f16856fc231f8c6296ff6574cc2abc63a53e1d9

dissect: recognize TLV elements related to Certificate and SafeBag

And drop obsolete types

Change-Id: Iadf2a323a52cd12b93981b99d68103d934d5d508

.jenkins

diff --git a/.jenkins b/.jenkins
index 52b94c5..0f40e00 100755
--- a/.jenkins
+++ b/.jenkins
@@ -26,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