tree 13f584f24835bd56a8ff40683dcfb437bbb37852
parent f7b167113753e95ae61383e234f8d10142782ace
author Nicolas Palix <nicolas.palix@imag.fr> 1371726656 +0200
committer Michal Marek <mmarek@suse.cz> 1372885093 +0200

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>