Ignore this, I'm just not awake enough. Forgot handle SIGINT nostop noprint pass, so that's just C-g. Meh. :-(

On Mon, Mar 14, 2016 at 10:20 PM Jorgen Schäfer <jorgen.schaefer@gmail.com> wrote:

Did a new experiment with ./configure --enable-checking

Not sure if it helped, but it crashed a lot faster …