2 commits

Author	SHA1	Message	Date
Eelco Dolstra	f9974f856e	Show that --timeout doesn't work if the build produces log output	2013-04-23 17:16:29 +02:00
Ludovic Courtès	5c9e9f732d	Add support for the build-timeout' and --timeout' options.	2011-06-30 15:19:13 +00:00