From c3bd16c2b67af868d50abc57cf03f2e9393515c3 Mon Sep 17 00:00:00 2001 From: Thomas Haller Date: Wed, 4 Feb 2015 10:34:05 +0100 Subject: [PATCH] tests: fix valgrind script to handle exit value 77 (skip) (cherry picked from commit 9a2c0451a48090399c0fc9f6fae34824e3b42841) --- tools/run-test-valgrind.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/run-test-valgrind.sh b/tools/run-test-valgrind.sh index 506fff75c4..84659fc85b 100755 --- a/tools/run-test-valgrind.sh +++ b/tools/run-test-valgrind.sh @@ -19,7 +19,7 @@ $LIBTOOL --mode=execute "$VALGRIND" \ "$TEST" RESULT=$? -if [ $RESULT -ne 0 ]; then +if [ $RESULT -ne 0 -a $RESULT -ne 77 ]; then echo "Don't forget to check the valgrind log at '`realpath $LOGFILE`'." >&2 fi