diff options
author | Andreas Enge <andreas.enge@inria.fr> | 2012-07-06 07:45:47 +0000 |
---|---|---|
committer | Andreas Enge <andreas.enge@inria.fr> | 2012-07-06 07:45:47 +0000 |
commit | 9993016baa58fe148a7010cd8ca680720e5ba49c (patch) | |
tree | 4687ba4d366106f212de6c4e485c854a8402eb01 /m4 | |
parent | e7ea7f0a26f93ffdb435014cd512d18ba0fd5afd (diff) | |
download | mpc-git-9993016baa58fe148a7010cd8ca680720e5ba49c.tar.gz |
valgrind-tests.m4: handle suppression file passed through the shell variable
VALGRIND_SUPPRESSION
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/mpc/trunk@1237 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'm4')
-rw-r--r-- | m4/valgrind-tests.m4 | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/m4/valgrind-tests.m4 b/m4/valgrind-tests.m4 index 926d75c..c334a9a 100644 --- a/m4/valgrind-tests.m4 +++ b/m4/valgrind-tests.m4 @@ -24,6 +24,14 @@ AC_DEFUN([gl_VALGRIND_TESTS], if test -n "$VALGRIND" && $VALGRIND -q true > /dev/null 2>&1; then opt_valgrind_tests=yes VALGRIND="$VALGRIND -q --error-exitcode=1 --leak-check=full" +# Addition AE: enable suppression file through a shell variable + AC_MSG_CHECKING([for valgrind suppression file]) + if test -n "$VALGRIND_SUPPRESSION"; then + AC_MSG_RESULT($VALGRIND_SUPPRESSION) + VALGRIND="$VALGRIND --suppressions=$VALGRIND_SUPPRESSION" + else + AC_MSG_RESULT([no]) + fi AC_DEFINE([MPC_USE_VALGRIND], 1, [Use valgrind for make check]) else opt_valgrind_tests=no |