1#! /bin/sh
2
3# used to filter helgrind output shown by gdb/vgdb.
4
5dir=`dirname $0`
6
7$dir/../helgrind/tests/filter_stderr "$@"              |
8
9# filter vgdb messages
10$dir/filter_vgdb 
11