tests: delete the valgrind logs if they're empty

(cherry picked from commit df0676ab00)
This commit is contained in:
Lubomir Rintel 2015-06-04 12:30:30 +02:00 committed by Thomas Haller
parent c2233f4484
commit a48d92d525

View file

@ -50,6 +50,9 @@ if [ $RESULT -ne 0 -a $RESULT -ne 77 ]; then
echo Files without debugging symbols: $UNRESOLVED >&2
fi
fi
exit $RESULT
fi
find -name "$LOGFILE" -size 0 -delete
exit $RESULT