X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/45c2d7ce0ce350c4cc27acb6089885de1dce9b19..219b128344e14ff691c5f9615741d006ac79aeec:/tools/jenkins/Sanitizers.sh diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh index b41839a00a..1989318337 100755 --- a/tools/jenkins/Sanitizers.sh +++ b/tools/jenkins/Sanitizers.sh @@ -28,6 +28,7 @@ fi if [ "${SANITIZER}" = "address" ] then + export LSAN_OPTIONS="verbosity=1:log_threads=1" # Debug it export ASAN_OPTIONS="suppressions=$WORKSPACE/tools/sanitizers.supp" SANITIZER_OPTIONS="-Denable_address_sanitizer=ON -Denable_undefined_sanitizer=OFF -Denable_thread_sanitizer=OFF" elif [ "${SANITIZER}" = "thread" ]