philippe | 07c0852 | 2014-05-14 20:39:27 +0000 | [diff] [blame] | 1 | #! /bin/sh |
| 2 | |
| 3 | # used to filter helgrind output shown by gdb/vgdb. |
| 4 | |
| 5 | dir=`dirname $0` |
| 6 | |
| 7 | $dir/../helgrind/tests/filter_stderr "$@" | |
| 8 | |
| 9 | # filter vgdb messages |
mjw | dcf6394 | 2014-08-28 22:51:38 +0000 | [diff] [blame] | 10 | $dir/filter_vgdb | |
| 11 | |
sewardj | 8eb8bab | 2015-07-21 14:44:28 +0000 | [diff] [blame] | 12 | # Perform Solaris-specific filtering. |
| 13 | if $dir/../tests/os_test solaris; then |
| 14 | $dir/filter_helgrind_monitor_solaris |
| 15 | else |
| 16 | cat |
| 17 | fi | |
| 18 | |
mjw | dcf6394 | 2014-08-28 22:51:38 +0000 | [diff] [blame] | 19 | # and remove any remaining empty lines |
| 20 | sed -e '/^$/d' |