On Fri, May 29, 2009 at 9:47 AM, Greg Ward <greg at gerg.ca> wrote: > I've just noticed that run-tests.py implements timeouts at two levels, > both by setting up a SIGALRM. Ignore. I did not read the code carefully enough. Back to our regularly scheduled programming... Greg