commit 69857c37c29a0add683d40a96dc7c06f348799ff
author Davide Pesavento <davidepesa@gmail.com> Sun Apr 05 16:36:26 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Apr 06 15:32:21 2020 -0400
tree 44973157f7aad6bd3f142e111bc639d54243c973
parent feeb918ea8664dab421630a908f1b3b0db922857

build+docs: switch to python3, refresh FAQ and INSTALL documents

Refs: #5095
Change-Id: Icdc0e9463b28c07783edbe392a9bc47136947e3b

.jenkins

diff --git a/.jenkins b/.jenkins
index ea8834d..bc1c847 100755
--- a/.jenkins
+++ b/.jenkins
@@ -1,11 +1,14 @@
 #!/usr/bin/env bash
 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
-    python -c 'import time; print(int(time.time() * 1e9))'
+    python3 -c 'import time; print(int(time.time() * 1e9))'
 }
 
 for file in .jenkins.d/*; do