On 12/16 02:01, Christian Biere wrote:
> I'm used to run it with "PTHREAD_DIAGASSERT=A" (because I need a
> functional web browser). Besides, what was the actual error message?

There isn't one.  It just returns 11.