| commit | 8c9d1ea4d98d7843c0ec3277863dca4054953606 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Wed Mar 20 02:23:51 2019 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Wed Mar 20 02:23:51 2019 -0400 |
| tree | 9809a55233020170408eb4b4e420c00922350d14 | |
| parent | 759d47ae3ddc063cd4837b9f856ae82e0a52acb5 [diff] |
ci: enable LeakSanitizer Change-Id: I916da6506be81c44a8708923d4f7660d26863e37
diff --git a/.jenkins.d/20-tests.sh b/.jenkins.d/20-tests.sh index b4d8ec9..816a792 100755 --- a/.jenkins.d/20-tests.sh +++ b/.jenkins.d/20-tests.sh
@@ -25,7 +25,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"