summaryrefslogtreecommitdiff
path: root/build-aux
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2013-06-13 16:08:33 +0200
committerAkim Demaille <akim@lrde.epita.fr>2013-06-14 09:58:12 +0200
commit28c4075b58130c1b98747ca61876f5c7660b2397 (patch)
treef2c511210039fc284d3144457b1ccf3873e796e6 /build-aux
parentaa94def12d5256d2bd3d5ed49d905f00372a0111 (diff)
downloadbison-28c4075b58130c1b98747ca61876f5c7660b2397.tar.gz
build: add Valgrind suppression file for GNU/Linux
* build-aux/linux-gnu.valgrind: New. * build-aux/local.mk: Ship it. * configure.ac: Use it.
Diffstat (limited to 'build-aux')
-rw-r--r--build-aux/linux-gnu.valgrind16
-rw-r--r--build-aux/local.mk1
2 files changed, 17 insertions, 0 deletions
diff --git a/build-aux/linux-gnu.valgrind b/build-aux/linux-gnu.valgrind
new file mode 100644
index 00000000..3130fbc0
--- /dev/null
+++ b/build-aux/linux-gnu.valgrind
@@ -0,0 +1,16 @@
+# Linux seattle 2.6.32-5-amd64 #1 SMP Thu Mar 22 17:26:33 UTC 2012
+# x86_64 GNU/Linux
+{
+ index
+ Memcheck:Cond
+ fun:index
+ fun:expand_dynamic_string_token
+ fun:_dl_map_object
+ fun:map_doit
+ fun:_dl_catch_error
+ fun:do_preload
+ fun:dl_main
+ fun:_dl_sysdep_start
+ fun:_dl_start
+ obj:/lib/ld-2.11.3.so
+}
diff --git a/build-aux/local.mk b/build-aux/local.mk
index 8922ea5f..f92b3bd7 100644
--- a/build-aux/local.mk
+++ b/build-aux/local.mk
@@ -16,6 +16,7 @@
EXTRA_DIST += \
build-aux/cross-options.pl \
build-aux/darwin11.4.0.valgrind \
+ build-aux/linux-gnu.valgrind \
build-aux/move-if-change \
build-aux/prev-version.txt \
build-aux/update-b4-copyright