107c08527f05caeb0062b42ca9a58ee774ec5fba1philippe#! /bin/sh 207c08527f05caeb0062b42ca9a58ee774ec5fba1philippe 307c08527f05caeb0062b42ca9a58ee774ec5fba1philippe# used to filter helgrind output shown by gdb/vgdb. 407c08527f05caeb0062b42ca9a58ee774ec5fba1philippe 507c08527f05caeb0062b42ca9a58ee774ec5fba1philippedir=`dirname $0` 607c08527f05caeb0062b42ca9a58ee774ec5fba1philippe 707c08527f05caeb0062b42ca9a58ee774ec5fba1philippe$dir/../helgrind/tests/filter_stderr "$@" | 807c08527f05caeb0062b42ca9a58ee774ec5fba1philippe 907c08527f05caeb0062b42ca9a58ee774ec5fba1philippe# filter vgdb messages 10dcf6394a08fbfed3b30d2fb273b994aec87c3ce4mjw$dir/filter_vgdb | 11dcf6394a08fbfed3b30d2fb273b994aec87c3ce4mjw 12dcf6394a08fbfed3b30d2fb273b994aec87c3ce4mjw# and remove any remaining empty lines 13dcf6394a08fbfed3b30d2fb273b994aec87c3ce4mjwsed -e '/^$/d' 14