1#! /bin/sh
2
3dir=`dirname $0`
4
5$dir/filter_stderr | $dir/../../tests/filter_discards
6
7