diff options
-rwxr-xr-x | tests/runtests.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index c29aeaf52..44b22d75c 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -3368,6 +3368,7 @@ sub singletest { $valgrindcmd .= "$valgrind_tool " if($valgrind_tool); $valgrindcmd .= "--leak-check=yes "; $valgrindcmd .= "--suppressions=$srcdir/valgrind.supp "; + # $valgrindcmd .= "--gen-suppressions=all "; $valgrindcmd .= "--num-callers=16 "; $valgrindcmd .= "${valgrind_logfile}=$LOGDIR/valgrind$testnum"; $CMDLINE = "$valgrindcmd $CMDLINE"; |