summaryrefslogtreecommitdiff
path: root/scripts/coccinelle/free/devm_free.cocci
diff options
context:
space:
mode:
authorNicolas Palix <nicolas.palix@imag.fr>2013-06-20 13:10:56 +0200
committerMichal Marek <mmarek@suse.cz>2013-07-03 22:58:13 +0200
commit93f14468491747d6d3efd0b3a42785b1d51a127a (patch)
tree13f584f24835bd56a8ff40683dcfb437bbb37852 /scripts/coccinelle/free/devm_free.cocci
parentf7b167113753e95ae61383e234f8d10142782ace (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.cocci2
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