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