From b04bdae7637dd0c40b485362a6dad985c302c5e0 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 10 Sep 2013 10:47:04 -0700 Subject: [PATCH] Use "--trace-children=yes" option for MemCheck(valgrind) to handle leantests shell script --- src/CTestConfig.cmake | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/CTestConfig.cmake b/src/CTestConfig.cmake index eb673f54f6..8d0f3d4b14 100644 --- a/src/CTestConfig.cmake +++ b/src/CTestConfig.cmake @@ -9,10 +9,10 @@ set(CTEST_PROJECT_NAME "Lean") set(CTEST_NIGHTLY_START_TIME "00:00:00 EST") -#set(CTEST_DROP_METHOD "http") -#set(CTEST_DROP_SITE "my.cdash.org") -#set(CTEST_DROP_LOCATION "/submit.php?project=Lean") -#set(CTEST_DROP_SITE_CDASH TRUE) +# Specify MEMCHECK Option. +# Note: We use "--trace-children=yes" to valgrind-ise child processes (follow execve) +SET (VALGRIND_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --show-reachable=yes --workaround-gcc296-bugs=yes --num-callers=50 --trace-children=yes") +SET (CTEST_MEMORYCHECK_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --show-reachable=yes --workaround-gcc296-bugs=yes --num-callers=50 --trace-children=yes") set(CTEST_DROP_METHOD "http") set(CTEST_DROP_SITE "cmacslab2.modck.cs.cmu.edu")