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

..

call_kern.cocci

Coccinelle: Update the options used to the new option scheme

2013-07-03 22:58:13 +02:00

double_lock.cocci

Coccinelle: Update the options used to the new option scheme

2013-07-03 22:58:13 +02:00

flags.cocci

Coccinelle: Update the options used to the new option scheme

2013-07-03 22:58:13 +02:00

mini_lock.cocci

Coccinelle: Update the options used to the new option scheme

2013-07-03 22:58:13 +02:00