A Friday 02 May 2008 15:38:22, Daniel Jacobowitz wrote:
> On Fri, Apr 25, 2008 at 05:15:45PM +0100, Pedro Alves wrote:
> > Still OK?  I'll check the new longjmp.exp test in along with this one.
>
> Looks fine to me.

Thanks.  I've checked this one in, and the test too.

Non-stop mode should be now safer regarding longjmp.

-- 
Pedro Alves