commit ab7300b747effe8e6fc43a28ac799741e68dd2ea
author Davide Pesavento <davidepesa@gmail.com> Thu Apr 09 00:51:41 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Thu Apr 09 21:48:06 2020 -0400
tree 2b84d5a7fd057ac6bfd94625229b58dc1c15dd08
parent 52a803cb9d0021fc03b1a174915008994aa14adc

ci+docs: minor cleanups

Change-Id: I280fd84d89061e34ad4e2aaa00ce63ad21b03565

.jenkins

diff --git a/.jenkins b/.jenkins
index b368a74..bc1c847 100755
--- a/.jenkins
+++ b/.jenkins
@@ -2,7 +2,9 @@
 set -e
 source .jenkins.d/util.sh
 
+export CACHE_DIR=${CACHE_DIR:-/tmp}
 export WAF_JOBS=${WAF_JOBS:-1}
+[[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes
 
 nanos() {
     # Cannot use date(1) because macOS does not support %N format specifier