diff options
| author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2018-06-25 20:38:16 (GMT) |
|---|---|---|
| committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2018-06-25 20:38:16 (GMT) |
| commit | fdee46ab16b879589155729e6db4fdabe235880f (patch) | |
| tree | ba7a7a4cc25027d8df81784b5a53e2add157f47b /unix/Makefile.in | |
| parent | 94f9cf81ed3e156bd372a3cac249974d1acb4e1d (diff) | |
| parent | 0839047d8bed631eeb82c7c3e26b0f13461717e6 (diff) | |
| download | tcl-fdee46ab16b879589155729e6db4fdabe235880f.zip tcl-fdee46ab16b879589155729e6db4fdabe235880f.tar.gz tcl-fdee46ab16b879589155729e6db4fdabe235880f.tar.bz2 | |
merge 8.6
Diffstat (limited to 'unix/Makefile.in')
| -rw-r--r-- | unix/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/unix/Makefile.in b/unix/Makefile.in index f044e41..763844e 100644 --- a/unix/Makefile.in +++ b/unix/Makefile.in @@ -262,7 +262,9 @@ GDB = gdb TRACE = strace TRACE_OPTS = VALGRIND = valgrind -VALGRINDARGS = --tool=memcheck --num-callers=8 --leak-resolution=high --leak-check=yes --show-reachable=yes -v +VALGRINDARGS = --tool=memcheck --num-callers=24 \ + --leak-resolution=high --leak-check=yes --show-reachable=yes -v \ + --suppressions=$(TOOL_DIR)/valgrind_suppress #-------------------------------------------------------------------------- # The information below should be usable as is. The configure script won't |