| bart | 0cc09c9 | 2008-02-26 12:52:00 +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 | |||||
| bart | 82d886e | 2008-02-26 16:03:25 +0000 | [diff] [blame] | 6 | sed -n -e 's/^.*\(ERROR SUMMARY.*\) ([^()]*)$/\1/' -e '/ERROR SUMMARY/p' |