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' 10
