chiark / gitweb /
mtimeout.c: Add `--kill-after' and `--no-kill' options.