| 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\//" | ||||