diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-25 07:02:39 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-25 07:02:39 +0100 |
commit | a7d9c930f9f0c688a2530bd23e59f0cd830fc9d6 (patch) | |
tree | efc3ba2a85724902a38a5c7e09e0d82fa8588ed3 /misc | |
parent | f3b498a2b1d5dcb4dec2c01d757616fd968e1ee0 (diff) | |
download | luaotfload-a7d9c930f9f0c688a2530bd23e59f0cd830fc9d6.tar.gz |
[doc] move Latex inline verbatim commands to listings
Diffstat (limited to 'misc')
-rw-r--r-- | misc/valgrind-kpse-suppression.sup | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/misc/valgrind-kpse-suppression.sup b/misc/valgrind-kpse-suppression.sup index bda96b4..e1cc5f5 100644 --- a/misc/valgrind-kpse-suppression.sup +++ b/misc/valgrind-kpse-suppression.sup @@ -109,3 +109,23 @@ ... fun:init_path } + + +{ + kpathsea-garbage-14 + Memcheck:Leak + match-leak-kinds: definite + ... + fun:kpse_in_name_ok +} + + +{ + kpathsea-garbage-15 + Memcheck:Leak + match-leak-kinds: definite + ... + fun:kpathsea_var_value +} + + |