tests: fix valgrind script to handle exit value 77 (skip)

diff --git a/tools/run-test-valgrind.sh b/tools/run-test-valgrind.sh
index 506fff7..84659fc 100755 (executable)
--- 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