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

(cherry picked from commit 9a2c0451a4)
This commit is contained in:
Thomas Haller 2015-02-04 10:34:05 +01:00
parent 5882153aec
commit c3bd16c2b6

View file

@ -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