On Tue, May 24, Julia Lawall wrote: > In any case, the releases of Coccinelle should contain a configure > script, to my recollection. The github version does not.
You are right, its just my copy of coccinelle-1.0.4.tgz which has the configure script. configure not in github. Olaf _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
