bart | e708600 | 2011-10-11 19:08:39 +0000 | [diff] [blame] | 1 | #! /bin/sh |
2 | |||||
3 | # Get rid of the numbers as these make some tests more scheduling sensitive | ||||
4 | # -- those where there are multiple threads which play interchangeable roles. | ||||
5 | grep -v "^Thread [0-9][0-9]*:$" | | ||||
6 | sed -e "s:hread [0-9][0-9]*:hread x:g" \ | ||||
7 | -e "s:of thread [0-9][0-9]*$:of thread x:g" |