chiark / gitweb /
test suite: Work if $tmp is on a different filesystem.