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 ccf05a4..00ff108 100755 (executable)
--- a/buildtools/pipol/Nightly_memCheck.sh
+++ b/buildtools/pipol/Nightly_memCheck.sh
@@ -30,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 \