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