diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2018-05-18 16:35:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-18 16:35:52 +0200 |
commit | 1505deb84e8e6819b19cda017f8b585e87cf644b (patch) | |
tree | cf5cc1ec41e1aca730ba58fd88995d1faa0fc8e4 | |
parent | c33403681eac59dd1bd306afa31ecf42dc236e46 (diff) | |
parent | 8df6cf5df25f1de0a9a329ed44bc802d0ebf987f (diff) | |
download | ATCD-1505deb84e8e6819b19cda017f8b585e87cf644b.tar.gz |
Merge pull request #630 from jwillemsen/jwi-valgrind
Add valgrind suppression
-rw-r--r-- | ACE/bin/valgrind.supp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ACE/bin/valgrind.supp b/ACE/bin/valgrind.supp index 14b96a12ed1..ff564469ab6 100644 --- a/ACE/bin/valgrind.supp +++ b/ACE/bin/valgrind.supp @@ -279,6 +279,12 @@ } { + Memcheck:Leak + ... + fun:*_dl_open* +} + +{ <ndds> Memcheck:Leak fun:* |