diff options
Diffstat (limited to 'tests/run_make_tests.pl')
| -rwxr-xr-x | tests/run_make_tests.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/run_make_tests.pl b/tests/run_make_tests.pl index 33f4506..88f62a9 100755 --- a/tests/run_make_tests.pl +++ b/tests/run_make_tests.pl @@ -33,7 +33,7 @@ $valgrind = 0; # invoke make with valgrind $valgrind_args = ''; -$memcheck_args = '--num-callers=15 --tool=memcheck --leak-check=full'; +$memcheck_args = '--num-callers=15 --tool=memcheck --leak-check=full --suppressions=guile.supp'; $massif_args = '--num-callers=15 --tool=massif --alloc-fn=xmalloc --alloc-fn=xcalloc --alloc-fn=xrealloc --alloc-fn=xstrdup --alloc-fn=xstrndup'; $pure_log = undef; |