Nicolas Palix 93f1446849 Coccinelle: Update the options used to the new option scheme ... spatch has changed its option scheme. E.g., --no_show_diff is now --no-show-diff This patch updates: - scripts/coccicheck - Semantic patches under scripts/coccinelle/ Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr> Signed-off-by: Michal Marek <mmarek@suse.cz>		2013-07-03 22:58:13 +02:00
..
badzero.cocci
deref_null.cocci
eno.cocci
kmerr.cocci