njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 1 | #! /bin/sh |
2 | |||||
3 | dir=`dirname $0` | ||||
4 | |||||
sewardj | d541229 | 2003-05-05 16:18:51 +0000 | [diff] [blame] | 5 | $dir/filter_stderr | |
6 | |||||
7 | # Anonymise paths like "/local/foo/bar/tests/baz/quux" (note "tests" is there) | ||||
8 | sed "s/\/.*\/tests\//\/...\/tests\//" |