blob: cdf703f2fd9f136b2b2e0bd185e94bb00d8354bb [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 '/ERROR SUMMARY/p'