diff options
Diffstat (limited to 'gl/override/m4/valgrind-tests.m4.diff')
| -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 f77d993..ecec0d0 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=no" ++ OPTS="-q --error-exitcode=6 --leak-check=no" if test -n "$VALGRIND" \ && $VALGRIND $OPTS $SHELL -c 'exit 0' > /dev/null 2>&1; then |