X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8bc85164acb335cf909052b966b2ee4932e06cd7..67d66b0cf79b9fc02c0450f254584693dbf21d3b:/tools/jenkins/Sanitizers.sh diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh index 5425f603ae..8c2569b065 100755 --- a/tools/jenkins/Sanitizers.sh +++ b/tools/jenkins/Sanitizers.sh @@ -76,7 +76,7 @@ ctest -D ExperimentalStart || true cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=OFF \ -Denable_compile_optimizations=ON -Denable_compile_warnings=ON \ - -Denable_jedule=ON -Denable_mallocators=OFF \ + -Denable_mallocators=OFF \ -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=OFF \ -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_ISP_testsuite=ON -Denable_coverage=OFF\ -Denable_fortran=OFF -Denable_python=OFF -DLTO_EXTRA_FLAG="auto" ${SANITIZER_OPTIONS} "$WORKSPACE"