From 4746e09143ae35792af2e186619832955d4003e7 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Thu, 16 Jul 2020 09:13:09 +0200 Subject: [PATCH] that was failing and launching address for every sanitizer ... --- tools/jenkins/Sanitizers.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh index 87d5abae57..5425f603ae 100755 --- a/tools/jenkins/Sanitizers.sh +++ b/tools/jenkins/Sanitizers.sh @@ -79,7 +79,7 @@ cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=OFF \ -Denable_jedule=ON -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" + -Denable_fortran=OFF -Denable_python=OFF -DLTO_EXTRA_FLAG="auto" ${SANITIZER_OPTIONS} "$WORKSPACE" make -j$NUMPROC tests ctest --no-compress-output -D ExperimentalTest || true -- 2.20.1