| commit | 4f1d13db23b4071a0a8aaa7a253285fe686f6245 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davide.pesavento@lip6.fr> | Tue Sep 11 20:32:25 2018 -0400 |
| committer | Davide Pesavento <davide.pesavento@lip6.fr> | Tue Sep 11 20:32:25 2018 -0400 |
| tree | 59e22b4c2b299f68562c86c8d35aaa03b185a375 | |
| parent | 88beb4d0f5c0c5561efd91f9afd04c3b07c17d40 [diff] |
ci: enable LeakSanitizer Change-Id: Icc8d21434771533f873eb1fa7ff6530b3e8b3038
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"