X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/187bb4a04d950599632c5ed6c97c16d55bc4c020..b33bdec7b1eb6f5780141d3df13200c608d42ed7:/tools/jenkins/Sanitizers.sh diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh index 8ef320e108..29d89cb0a7 100755 --- a/tools/jenkins/Sanitizers.sh +++ b/tools/jenkins/Sanitizers.sh @@ -33,7 +33,6 @@ 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 doesn't play well with dlopen elif [ "${SANITIZER}" = "undefined" ] then export UBSAN_OPTIONS="print_stacktrace=1"