diff options
| author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2021-05-17 11:56:04 (GMT) |
|---|---|---|
| committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2021-05-17 11:56:04 (GMT) |
| commit | 692aa9039624e45c44193f148c7102816edbe53b (patch) | |
| tree | 58f433399f553bcad02f86fcb159effa98d6212f /unix/Makefile.in | |
| parent | b02cd57334865909a8622d486b47daf7439aee6c (diff) | |
| parent | 12502ae52466d25f8956dfd3f4786c0bb993e4e0 (diff) | |
| download | tcl-692aa9039624e45c44193f148c7102816edbe53b.zip tcl-692aa9039624e45c44193f148c7102816edbe53b.tar.gz tcl-692aa9039624e45c44193f148c7102816edbe53b.tar.bz2 | |
Merge 8.7
Diffstat (limited to 'unix/Makefile.in')
| -rw-r--r-- | unix/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/unix/Makefile.in b/unix/Makefile.in index f54c525..ff8682c 100644 --- a/unix/Makefile.in +++ b/unix/Makefile.in @@ -268,6 +268,7 @@ TRACE_OPTS = VALGRIND = valgrind VALGRINDARGS = --tool=memcheck --num-callers=24 \ --leak-resolution=high --leak-check=yes --show-reachable=yes -v \ + --keep-debuginfo=yes \ --suppressions=$(TOOL_DIR)/valgrind_suppress #-------------------------------------------------------------------------- |