| commit | d5c2447b3a4d0778388ebf914fd905c6ab9791ba | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Wed Apr 01 17:46:18 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Wed Apr 01 18:28:51 2020 -0400 |
| tree | eb2e81c8599e4084976b275f897a8f7b0c388d7b | |
| parent | fce3963fc07722ccefd13bd3012d25c6e5086653 [diff] [blame] |
ci: build ndn-cxx with AddressSanitizer Change-Id: I706ab29efe61c17511b87b477151d9a2a8e055bc
diff --git a/.jenkins b/.jenkins index 287bdd7..bc1c847 100755 --- a/.jenkins +++ b/.jenkins
@@ -4,6 +4,7 @@ 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