chiark - git - mdw - misc/commit

~mdw / misc / commit

author	Mark Wooding <mdw@distorted.org.uk>
	Sun, 5 Jun 2011 21:02:49 +0000 (22:02 +0100)
committer	Mark Wooding <mdw@distorted.org.uk>
	Sun, 5 Jun 2011 21:11:23 +0000 (22:11 +0100)
commit	e825e5a958b01f8ddb3050b73da157fc042c489c
tree	898a1aa9ba82f0f9b8d23e86828351b752dafa9d	tree \| snapshot
parent	cae3815a39a13f6438ee1289f48b4437026b0606	commit \| diff

timeout: New program to limit how long a child process runs.

It's already grown more sophisticated than I was expecting. Oh, well.

Collection of miscellaneous utilities