summaryrefslogtreecommitdiffstats
path: root/scripts/coccinelle/locks/double_lock.cocci
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/coccinelle/locks/double_lock.cocci')
-rw-r--r--scripts/coccinelle/locks/double_lock.cocci2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccinelle/locks/double_lock.cocci b/scripts/coccinelle/locks/double_lock.cocci
index 63b24e682fad..002752f97dca 100644
--- a/scripts/coccinelle/locks/double_lock.cocci
+++ b/scripts/coccinelle/locks/double_lock.cocci
@@ -8,7 +8,7 @@
// Copyright: (C) 2010 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