diff options
| author | Nicolas Palix <nicolas.palix@imag.fr> | 2013-06-20 13:10:56 +0200 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2013-07-03 22:58:13 +0200 |
| commit | 93f14468491747d6d3efd0b3a42785b1d51a127a (patch) | |
| tree | 13f584f24835bd56a8ff40683dcfb437bbb37852 /scripts/coccinelle/free/devm_free.cocci | |
| parent | f7b167113753e95ae61383e234f8d10142782ace (diff) | |
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>
Diffstat (limited to 'scripts/coccinelle/free/devm_free.cocci')
| -rw-r--r-- | scripts/coccinelle/free/devm_free.cocci | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccinelle/free/devm_free.cocci b/scripts/coccinelle/free/devm_free.cocci index 0a1e36146d76..3d9349012bb3 100644 --- a/scripts/coccinelle/free/devm_free.cocci +++ b/scripts/coccinelle/free/devm_free.cocci @@ -18,7 +18,7 @@ // Copyright: (C) 2011 Gilles Muller, INRIA/LiP6. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: -// Options: -no_includes -include_headers +// Options: --no-includes --include-headers virtual org virtual report |