| 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 | ||||
| Elliott Hughes | ed39800 | 2017-06-21 14:41:24 -0700 | [diff] [blame] | 8 | # varies across systems. |
| sewardj | 8eb8bab | 2015-07-21 14:44:28 +0000 | [diff] [blame] | 9 | |
| 10 | sed 's/Program received signal SIG[0-9]*, Real-time event [0-9]*./Program received signal SIGxx, Real-time event xx./' | ||||