| sewardj | 8eb8bab | 2015-07-21 14:44:28 +0000 | [diff] [blame] | 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 accross systems. | ||||
| 9 | |||||
| 10 | sed 's/Program received signal SIG[0-9]*, Real-time event [0-9]*./Program received signal SIGxx, Real-time event xx./' | ||||