On Mon, Oct 15, 2018 at 11:40 AM Julia Lawall <[email protected]> wrote:
> Neither is relevant. Try make distclean, ./autogen, ./configure That didn't help. I'm already working with a clean clone of the git repo. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
