diff options
author | Sven Gothel <[email protected]> | 2021-01-11 15:04:41 +0100 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2021-01-11 15:04:41 +0100 |
commit | b1ab23bed01f6d3f3634514563427e8c39c64485 (patch) | |
tree | d73291d2a7dcda2c0ee73b68084399a6f9e80fc3 /scripts | |
parent | 00541e86a668170ef9054b1ee611021f13b57489 (diff) |
valgrind.supp: Add Catch to suppressed stacks
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/valgrind.supp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/valgrind.supp b/scripts/valgrind.supp index f3e65c85..67acd728 100644 --- a/scripts/valgrind.supp +++ b/scripts/valgrind.supp @@ -546,4 +546,12 @@ ... } +{ + jau_check2_01 + Memcheck:Cond + ... + fun:*Catch*RunContext* + ... +} + |