diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/valgrind-kpse-suppression.sup | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/misc/valgrind-kpse-suppression.sup b/misc/valgrind-kpse-suppression.sup index 63dee22..dc32586 100644 --- a/misc/valgrind-kpse-suppression.sup +++ b/misc/valgrind-kpse-suppression.sup @@ -129,3 +129,12 @@ } +{ + kpathsea-garbage-16 + Memcheck:Leak + match-leak-kinds: all + ... + fun:kpse_set_program_name +} + + |