model-checker : update tesh

[simgrid.git] / buildtools / pipol / Nightly_memCheck.sh

diff --git a/buildtools/pipol/Nightly_memCheck.sh b/buildtools/pipol/Nightly_memCheck.sh
index 5efe385..00ff108 100755 (executable)
--- a/buildtools/pipol/Nightly_memCheck.sh
+++ b/buildtools/pipol/Nightly_memCheck.sh
@@ -12,7 +12,8 @@ else
 fi
 cd ./pipol/$PIPOL_HOST
 
-git clone git://scm.gforge.inria.fr/simgrid/simgrid.git simgrid --quiet
+export GIT_SSL_NO_VERIFY=1
+git clone git://scm.gforge.inria.fr/simgrid/simgrid.git
 cd simgrid
 
 perl ./buildtools/pipol/cmake.pl
@@ -29,8 +30,8 @@ fi
 #mem-check
 cmake \
 -Denable_lua=off \
--Denable_tracing=off \
--Denable_smpi=off \
+-Denable_tracing=on \
+-Denable_smpi=on \
 -Denable_compile_optimizations=off \
 -Denable_compile_warnings=on \
 -Denable_lib_static=off \
@@ -38,6 +39,7 @@ cmake \
 -Denable_latency_bound_tracking=off \
 -Denable_gtnets=off \
 -Denable_jedule=off \
+-Denable_mallocators=off \
 -Denable_memcheck=on ./
 ctest -D NightlyStart
 ctest -D NightlyConfigure