blob: 89dc2b40c77ac7187d8319b2a6c248aeb1839df4 [file] [log] [blame]
#!/bin/sh
# Filter the error output of Valgrind such that only the line with the error
# summary is kept. Bart Van Assche, February 26, 2008.
sed -n \
-e 's/^.*\(ERROR SUMMARY.*\) ([^()]*)$/\1/' \
-e 's/^\(ERROR SUMMARY: [0-9]* errors\).*$/\1/' \
-e '/ERROR SUMMARY/p'