chiark / gitweb /
Rename `timeout' to `mtimeout' to prevent conflict with GNU Coreutils.