blob: 7e3a2db6ac3813b5fff22b2ff6a647a6d9f93b39 [file] [log] [blame]
#!/bin/sh
dir=`dirname $0`
$dir/filter_stderr | sed "s/ line [0-9]*://"