bart | b6230df | 2011-07-29 07:22:29 +0000 | [diff] [blame] | 1 | #!/bin/sh |
2 | |||||
3 | # Filter the error output of Valgrind such that only the line with the error | ||||
4 | # summary is kept. Bart Van Assche, February 26, 2008. | ||||
5 | |||||
6 | sed -n \ | ||||
7 | -e 's/^.*\(ERROR SUMMARY.*\) ([^()]*)$/\1/' \ | ||||
8 | -e 's/^\(ERROR SUMMARY: [0-9]* errors\).*$/\1/' \ | ||||
9 | -e '/ERROR SUMMARY/p' |