| commit | 1e852b9ae2ad869b083688e64fdb449da5fac0ee | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Mar 22 13:19:53 2019 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Mar 22 13:19:53 2019 -0400 |
| tree | 947f752290ef34c3d1815cfb640d9485efd026d6 | |
| parent | 6e90a0b9c67e1a5f9cdad8f053295b90f75212f1 [diff] |
ci: enable LeakSanitizer Change-Id: I8dcaa376ff0692ebc85eb646eab63ef1b849f8c8
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"