Dear Richard, Many thanks for your report!
In coccinelle's source directory, could you please try the following: make distclean ./autogen ./configure ... hth, Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
