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 | |
parent | f7b167113753e95ae61383e234f8d10142782ace (diff) | |
download | linux-stable-93f14468491747d6d3efd0b3a42785b1d51a127a.tar.gz linux-stable-93f14468491747d6d3efd0b3a42785b1d51a127a.tar.bz2 linux-stable-93f14468491747d6d3efd0b3a42785b1d51a127a.zip |
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')
-rw-r--r-- | scripts/coccinelle/free/devm_free.cocci | 2 | ||||
-rw-r--r-- | scripts/coccinelle/free/kfree.cocci | 2 | ||||
-rw-r--r-- | scripts/coccinelle/free/kfreeaddr.cocci | 2 |
3 files changed, 3 insertions, 3 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 diff --git a/scripts/coccinelle/free/kfree.cocci b/scripts/coccinelle/free/kfree.cocci index d9ae6d89c2f5..577b78056990 100644 --- a/scripts/coccinelle/free/kfree.cocci +++ b/scripts/coccinelle/free/kfree.cocci @@ -10,7 +10,7 @@ // Copyright: (C) 2010-2012 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 diff --git a/scripts/coccinelle/free/kfreeaddr.cocci b/scripts/coccinelle/free/kfreeaddr.cocci index 662e997da834..ce8aacc314cb 100644 --- a/scripts/coccinelle/free/kfreeaddr.cocci +++ b/scripts/coccinelle/free/kfreeaddr.cocci @@ -4,7 +4,7 @@ // Copyright: (C) 2013 Julia Lawall, INRIA/LIP6. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: -// Options: -no_includes -include_headers +// Options: --no-includes --include-headers virtual org virtual report |