summaryrefslogtreecommitdiff
path: root/configure.ac
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 /configure.ac
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 'configure.ac')
-rw-r--r--configure.ac10
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])