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