1 #! /bin/sh 2 3 dir=`dirname $0` 4 5 $dir/filter_gdb | 6 7 # Filter the number of real-time signal SIGRTMIN which 8 # varies across systems. 9 10 sed 's/Program received signal SIG[0-9]*, Real-time event [0-9]*./Program received signal SIGxx, Real-time event xx./' 11
