X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c42ed4092ce78e88b5de1a4623c19d3d9d912d3d..f7397f4d3ef62a8b6a9463a357875ee51479a6a8:/tools/jenkins/Sanitizers.sh diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh index 90dae0cd7c..353299dca0 100755 --- a/tools/jenkins/Sanitizers.sh +++ b/tools/jenkins/Sanitizers.sh @@ -31,9 +31,9 @@ then SANITIZER_OPTIONS="-Denable_address_sanitizer=ON -Denable_undefined_sanitizer=OFF -Denable_thread_sanitizer=OFF" elif [ "${SANITIZER}" = "thread" ] then - export SMPI_PRIVATIZATION="mmap" export TSAN_OPTIONS="memory_limit_mb=1500" SANITIZER_OPTIONS="-Denable_address_sanitizer=OFF -Denable_undefined_sanitizer=OFF -Denable_thread_sanitizer=ON" + export SMPI_PRIVATIZATION="mmap" # TSAN don't play well with dlopen elif [ "${SANITIZER}" = "undefined" ] then export UBSAN_OPTIONS="print_stacktrace=1"