blob: 2a67190411136e7b4f141ca8a4f2b1439e3ebc03 [file] [log] [blame]
#! /bin/sh
dir=`dirname $0`
$dir/filter_gdb |
# Filter the number of real-time signal SIGRTMIN which
# varies across systems.
sed 's/Program received signal SIG[0-9]*, Real-time event [0-9]*./Program received signal SIGxx, Real-time event xx./'