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