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 /configure.ac | |
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 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 94fab063..e5b89a27 100644 --- a/configure.ac +++ b/configure.ac @@ -245,6 +245,8 @@ case $VALGRIND:$uname in fi ;; esac +AC_MSG_CHECKING([Valgrind suppression file]) +AC_MSG_RESULT([$suppfile]) # Whether we cannot run the compiled bison. AM_CONDITIONAL([CROSS_COMPILING], [test "$cross_compiling" = yes]) |