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