| commit | e87156e0087c7ef0e8812424aa27d5133620e9dc | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davide.pesavento@lip6.fr> | Tue Aug 15 14:36:58 2017 -0400 |
| committer | Davide Pesavento <davide.pesavento@lip6.fr> | Wed Aug 16 22:41:48 2017 -0400 |
| tree | 214cc94307e4edff8bcfc63aa3ccb53cb9914074 | |
| parent | b38e6d49c0f9df7b9b468910acf9bc08d76281a1 [diff] |
ci: enable LeakSanitizer Change-Id: I097be7743f8541bf06bae1449449a903552ef3f6
diff --git a/.jenkins.d/20-tests.sh b/.jenkins.d/20-tests.sh index 01bf070..00df3e5 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"