diff options
| author | Nicolas Palix <nicolas.palix@imag.fr> | 2013-06-20 07:10:56 -0400 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2013-07-03 16:58:13 -0400 |
| commit | 93f14468491747d6d3efd0b3a42785b1d51a127a (patch) | |
| tree | 13f584f24835bd56a8ff40683dcfb437bbb37852 /scripts/coccinelle/locks | |
| parent | f7b167113753e95ae61383e234f8d10142782ace (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/locks')
| -rw-r--r-- | scripts/coccinelle/locks/call_kern.cocci | 2 | ||||
| -rw-r--r-- | scripts/coccinelle/locks/double_lock.cocci | 2 | ||||
| -rw-r--r-- | scripts/coccinelle/locks/flags.cocci | 2 | ||||
| -rw-r--r-- | scripts/coccinelle/locks/mini_lock.cocci | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/scripts/coccinelle/locks/call_kern.cocci b/scripts/coccinelle/locks/call_kern.cocci index 8f10b49603c3..669b24436248 100644 --- a/scripts/coccinelle/locks/call_kern.cocci +++ b/scripts/coccinelle/locks/call_kern.cocci | |||
| @@ -9,7 +9,7 @@ | |||
| 9 | // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. | 9 | // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. |
| 10 | // URL: http://coccinelle.lip6.fr/ | 10 | // URL: http://coccinelle.lip6.fr/ |
| 11 | // Comments: | 11 | // Comments: |
| 12 | // Options: -no_includes -include_headers | 12 | // Options: --no-includes --include-headers |
| 13 | 13 | ||
| 14 | virtual patch | 14 | virtual patch |
| 15 | virtual context | 15 | virtual context |
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 @@ | |||
| 8 | // Copyright: (C) 2010 Gilles Muller, INRIA/LiP6. GPLv2. | 8 | // Copyright: (C) 2010 Gilles Muller, INRIA/LiP6. GPLv2. |
| 9 | // URL: http://coccinelle.lip6.fr/ | 9 | // URL: http://coccinelle.lip6.fr/ |
| 10 | // Comments: | 10 | // Comments: |
| 11 | // Options: -no_includes -include_headers | 11 | // Options: --no-includes --include-headers |
| 12 | 12 | ||
| 13 | virtual org | 13 | virtual org |
| 14 | virtual report | 14 | virtual report |
diff --git a/scripts/coccinelle/locks/flags.cocci b/scripts/coccinelle/locks/flags.cocci index 1c4ffe6fd846..debd70e46267 100644 --- a/scripts/coccinelle/locks/flags.cocci +++ b/scripts/coccinelle/locks/flags.cocci | |||
| @@ -6,7 +6,7 @@ | |||
| 6 | // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. | 6 | // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. |
| 7 | // URL: http://coccinelle.lip6.fr/ | 7 | // URL: http://coccinelle.lip6.fr/ |
| 8 | // Comments: | 8 | // Comments: |
| 9 | // Options: -no_includes -include_headers | 9 | // Options: --no-includes --include-headers |
| 10 | 10 | ||
| 11 | virtual context | 11 | virtual context |
| 12 | virtual org | 12 | virtual org |
diff --git a/scripts/coccinelle/locks/mini_lock.cocci b/scripts/coccinelle/locks/mini_lock.cocci index 3267d7410bd5..47f649b0ea87 100644 --- a/scripts/coccinelle/locks/mini_lock.cocci +++ b/scripts/coccinelle/locks/mini_lock.cocci | |||
| @@ -11,7 +11,7 @@ | |||
| 11 | // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. | 11 | // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. |
| 12 | // URL: http://coccinelle.lip6.fr/ | 12 | // URL: http://coccinelle.lip6.fr/ |
| 13 | // Comments: | 13 | // Comments: |
| 14 | // Options: -no_includes -include_headers | 14 | // Options: --no-includes --include-headers |
| 15 | 15 | ||
| 16 | virtual context | 16 | virtual context |
| 17 | virtual org | 17 | virtual org |