On 14.1.2012 18:35, Julia Lawall wrote: > diff --git a/var/linuxes/linux-next/scripts/coccinelle/locks/call_kern.cocci > b/var/julia/linuxcopy/scripts/coccinelle/locks/call_kern.cocci > index 00af534..8f10b49 100644 > --- a/var/linuxes/linux-next/scripts/coccinelle/locks/call_kern.cocci > +++ b/var/julia/linuxcopy/scripts/coccinelle/locks/call_kern.cocci
Please submit a patch that applies to the kernel git, thanks. Michal _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
