On Fri, 2012-02-10 at 18:11 +0100, Julia Lawall wrote:> From: Julia Lawall <Julia.Lawall@lip6.fr>Thanks Julia. It seems to work well.Someone could run this with:$ make coccicheck COCCI=scripts/coccinelle/misc/boolinit.cocci