Merge branch 'master' into vmtrace

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

diff --git a/buildtools/pipol/MemCheck.sh b/buildtools/pipol/MemCheck.sh
index 8b13efcc1fec5949f35793ecd5e90db3e4bd9027..d0658197c497f8f8de7e747d40dfa27a2e38e504 100755 (executable)
--- a/buildtools/pipol/MemCheck.sh
+++ b/buildtools/pipol/MemCheck.sh
@@ -28,7 +28,6 @@ fi
 #mem-check
 cmake \
 -Denable_lua=off \
--Denable_tracing=off \
 -Denable_compile_optimizations=off \
 -Denable_compile_warnings=on \
 -Denable_lib_static=off \
@@ -42,4 +41,4 @@ ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalMemCheck
-ctest -D ExperimentalSubmit
\ No newline at end of file
+ctest -D ExperimentalSubmit