diff options
Diffstat (limited to 'gl/override')
-rw-r--r-- | gl/override/m4/valgrind-tests.m4.diff | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gl/override/m4/valgrind-tests.m4.diff b/gl/override/m4/valgrind-tests.m4.diff index 1393d5d045..c836d67408 100644 --- a/gl/override/m4/valgrind-tests.m4.diff +++ b/gl/override/m4/valgrind-tests.m4.diff @@ -5,7 +5,7 @@ fi - OPTS="-q --error-exitcode=1 --leak-check=full" -+ OPTS="-q --error-exitcode=1 --leak-check=full --suppressions=suppressions.valgrind" ++ OPTS="-q --error-exitcode=6 --leak-check=full --suppressions=suppressions.valgrind" if test -n "$VALGRIND" \ && $VALGRIND $OPTS $SHELL -c 'exit 0' > /dev/null 2>&1; then |