diff options
| author | Julia Lawall | 2016-01-30 16:27:04 +0100 |
|---|---|---|
| committer | Michal Marek | 2016-02-18 22:05:30 +0100 |
| commit | 8f551befa2269dc244bcfbcad795132f833cb71c (patch) | |
| tree | 03ca57d323adc3e09bdf4ab4f2ba7f20a33dd8d3 /scripts | |
| parent | 0a9e7da660b09f5304bf2b4d3fa8abc938af439a (diff) | |
Coccinelle: reduce rule applicability
Rule r is only use in org or report mode, so only execute it in those
cases.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coccinelle/misc/badty.cocci | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccinelle/misc/badty.cocci b/scripts/coccinelle/misc/badty.cocci index 2fc06fc71927..481cf301ccfc 100644 --- a/scripts/coccinelle/misc/badty.cocci +++ b/scripts/coccinelle/misc/badty.cocci @@ -50,7 +50,7 @@ T **x; // For org and report mode //---------------------------------------------------------- -@r disable sizeof_type_expr@ +@r depends on (org || report) disable sizeof_type_expr@ type T; T **x; position p; |