| #! /bin/sh | |
| ./filter_stderr | | |
| # Get rid of the numbers as these make some tests more scheduling sensitive | |
| # -- those where there are multiple threads which play interchangeable roles. | |
| grep -v "^Thread [0-9][0-9]*:$" | | |
| sed -e "s:hread [0-9][0-9]*:hread x:g" \ | |
| -e "s:of thread [0-9][0-9]*$:of thread x:g" |