diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2018-09-07 13:59:47 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2018-09-08 08:02:42 +0200 |
| commit | e5000890a48c786eff47bf50208941f40005b4bb (patch) | |
| tree | 8c95d4d04eac5a82c9fa3c9458896e9c03042c35 /build-aux | |
| parent | ea0db44fedc8d5cbdc5c3180bef0285d7ae83803 (diff) | |
| download | bison-e5000890a48c786eff47bf50208941f40005b4bb.tar.gz | |
configure: reveal the name of the Valgrind suppression file we use
* configure.ac: here.
* build-aux/Linux.valgrind (libstdcxx_init): New.
Diffstat (limited to 'build-aux')
| -rw-r--r-- | build-aux/Linux.valgrind | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/build-aux/Linux.valgrind b/build-aux/Linux.valgrind index a40719fb..e9cb906c 100644 --- a/build-aux/Linux.valgrind +++ b/build-aux/Linux.valgrind @@ -15,6 +15,19 @@ # Valgrind suppression file for Bison. +# Travis Trusty, 2018-09-07. +{ + libstdcxx_init + Memcheck:Leak + match-leak-kinds: reachable + fun:malloc + obj:/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.25 + fun:call_init.part.0 + fun:call_init + fun:_dl_init + obj:/lib/x86_64-linux-gnu/ld-2.19.so +} + # Linux prague 4.1.2-2-ARCH #1 SMP PREEMPT Wed Jul 15 08:30:32 UTC 2015 # x86_64 GNU/Linux { |