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 e53e66d..00ff108 100755 (executable)
--- a/buildtools/pipol/Nightly_memCheck.sh
+++ b/buildtools/pipol/Nightly_memCheck.sh
@@ -30,7 +30,7 @@ fi
 #mem-check
 cmake \
 -Denable_lua=off \
--Denable_tracing=off \
+-Denable_tracing=on \
 -Denable_smpi=on \
 -Denable_compile_optimizations=off \
 -Denable_compile_warnings=on \