filter_thread_no revision b32f58018498ea2225959b0ba11c18f0c433deef
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. 5grep -v "^Thread [0-9][0-9]*:$" | 6sed -e "s:hread [0-9][0-9]*:hread x:g" \ 7 -e "s:of thread [0-9][0-9]*$:of thread x:g" 8