1#! /bin/sh
2
3dir=`dirname $0`
4
5$dir/filter_stderr | 
6
7# Anonymise paths like "/local/foo/bar/tests/baz/quux" (note "tests" is there)
8sed "s/\/.*\/tests\//\/...\/tests\//"
9