diff options
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/coccinelle/listn.cocci | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/admin/coccinelle/listn.cocci b/admin/coccinelle/listn.cocci new file mode 100644 index 00000000000..df1d6dafdf2 --- /dev/null +++ b/admin/coccinelle/listn.cocci | |||
| @@ -0,0 +1,7 @@ | |||
| 1 | // Prefer 'list (...)' to 'listn (N, ...)' | ||
| 2 | @@ | ||
| 3 | constant n; | ||
| 4 | @@ | ||
| 5 | - listn (n, | ||
| 6 | + list ( | ||
| 7 | ...) | ||