| commit | 5c39ba1b6e8ee8a4409729ef979f916b2c9a86eb | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Wed Mar 20 01:08:00 2019 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Wed Mar 20 01:08:00 2019 -0400 |
| tree | a7c600bfb11f58eb59f32ba19b3bec1ee8add24c | |
| parent | 5188f31d501ada82022e14496529b82c97190e0f [diff] |
ci: enable LeakSanitizer Change-Id: If9472204a11cef3e4b4e743ac08d7a0ecf173ef6
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"