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