On 10/16/18 11:39 AM, Julia Lawall wrote: > I didn't find anything significant. Maybe you can try disabling parmap, > like you disabled pcre. There seems to be a config option for that.
"./configure --disable-parmap" fixed the problem for me. Thanks. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
