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