X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/afa70f683ba4eb6ea7ad7308babeed4596ceb78f..f7397f4d3ef62a8b6a9463a357875ee51479a6a8:/tools/jenkins/Sanitizers.sh diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh index 2c0cfa3111..353299dca0 100755 --- a/tools/jenkins/Sanitizers.sh +++ b/tools/jenkins/Sanitizers.sh @@ -33,6 +33,7 @@ elif [ "${SANITIZER}" = "thread" ] then 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"