#! /bin/sh
# drd/tests/filter_thread_no.  Generated from filter_thread_no.in by configure.

SED=sed

# 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"
