| commit | 98cb884023b1d2a038343fcd0c9ea71780aea859 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Wed Mar 20 01:07:03 2019 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Wed Mar 20 01:07:03 2019 -0400 |
| tree | f324f1e48127c32ffd77d2f005724b9d2aca364b | |
| parent | 4b76cb4fc1ac5efacc9a8452f11186916d68b042 [diff] |
ci: enable LeakSanitizer Change-Id: I41c35387c46610da95468b13747eaa5983abebc6
diff --git a/.jenkins.d/20-tests.sh b/.jenkins.d/20-tests.sh index e9c1c85..ec4461b 100755 --- a/.jenkins.d/20-tests.sh +++ b/.jenkins.d/20-tests.sh
@@ -31,7 +31,6 @@ } ASAN_OPTIONS="color=always" -ASAN_OPTIONS+=":detect_leaks=false" ASAN_OPTIONS+=":detect_stack_use_after_return=true" ASAN_OPTIONS+=":check_initialization_order=true" ASAN_OPTIONS+=":strict_init_order=true"