1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#!/bin/sh 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Browndir=`dirname $0` 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown$dir/filter_stderr | sed "s/ line [0-9]*://" 6