diff options
author | Nicolas Palix <nicolas.palix@imag.fr> | 2013-06-20 15:10:56 +0400 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2013-07-04 00:58:13 +0400 |
commit | 93f14468491747d6d3efd0b3a42785b1d51a127a (patch) | |
tree | 13f584f24835bd56a8ff40683dcfb437bbb37852 /scripts/coccinelle/tests/odd_ptr_err.cocci | |
parent | f7b167113753e95ae61383e234f8d10142782ace (diff) | |
download | linux-93f14468491747d6d3efd0b3a42785b1d51a127a.tar.xz |
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/tests/odd_ptr_err.cocci')
-rw-r--r-- | scripts/coccinelle/tests/odd_ptr_err.cocci | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccinelle/tests/odd_ptr_err.cocci b/scripts/coccinelle/tests/odd_ptr_err.cocci index e8dd8a6b28a2..cfe0a35cf2dd 100644 --- a/scripts/coccinelle/tests/odd_ptr_err.cocci +++ b/scripts/coccinelle/tests/odd_ptr_err.cocci @@ -7,7 +7,7 @@ // Copyright: (C) 2012 Gilles Muller, INRIA. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: -// Options: -no_includes -include_headers +// Options: --no-includes --include-headers virtual patch virtual context |