diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2013-06-13 16:08:33 +0200 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2013-06-14 09:58:12 +0200 |
commit | 28c4075b58130c1b98747ca61876f5c7660b2397 (patch) | |
tree | f2c511210039fc284d3144457b1ccf3873e796e6 /configure.ac | |
parent | aa94def12d5256d2bd3d5ed49d905f00372a0111 (diff) | |
download | bison-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 'configure.ac')
-rw-r--r-- | configure.ac | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 734825af..f7319a15 100644 --- a/configure.ac +++ b/configure.ac @@ -230,10 +230,16 @@ case $VALGRIND:$host_os in '':*) ;; *:darwin*) # See README-hacking. - # VALGRIND+=' --suppressions=$(abs_top_srcdir)/build-aux/darwin11.4.0.valgrind' + # VALGRIND+='-q --suppressions=$(abs_top_srcdir)/build-aux/darwin11.4.0.valgrind' VALGRIND=;; *:*) - AC_SUBST([VALGRIND_PREBISON], ["$VALGRIND -q"]);; + suppfile=build-aux/$host_os.valgrind + if test -f "$srcdir/$suppfile"; then + VALGRIND="$VALGRIND --gen-suppressions=all" + VALGRIND="$VALGRIND --suppressions=\$(abs_top_srcdir)/$suppfile" + fi + AC_SUBST([VALGRIND_PREBISON], ["$VALGRIND -q"]) + ;; esac AM_MISSING_PROG([AUTOM4TE], [autom4te]) |