summaryrefslogtreecommitdiff
path: root/scripts/coccinelle/misc/doubleinit.cocci
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/coccinelle/misc/doubleinit.cocci')
-rw-r--r--scripts/coccinelle/misc/doubleinit.cocci2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccinelle/misc/doubleinit.cocci b/scripts/coccinelle/misc/doubleinit.cocci
index cf74a00cf597..c0c3371d25e0 100644
--- a/scripts/coccinelle/misc/doubleinit.cocci
+++ b/scripts/coccinelle/misc/doubleinit.cocci
@@ -8,7 +8,7 @@
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2.
// URL: http://coccinelle.lip6.fr/
// Comments: requires at least Coccinelle 0.2.4, lex or parse error otherwise
-// Options: -no_includes -include_headers
+// Options: --no-includes --include-headers
virtual org
virtual report