diff options
Diffstat (limited to 'scripts/coccinelle/misc/ifcol.cocci')
| -rw-r--r-- | scripts/coccinelle/misc/ifcol.cocci | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccinelle/misc/ifcol.cocci b/scripts/coccinelle/misc/ifcol.cocci index b7ed91dbeb95..d0d00ef1f12a 100644 --- a/scripts/coccinelle/misc/ifcol.cocci +++ b/scripts/coccinelle/misc/ifcol.cocci | |||
| @@ -13,7 +13,7 @@ | |||
| 13 | // Copyright: (C) 2010 Gilles Muller, INRIA/LiP6. GPLv2. | 13 | // Copyright: (C) 2010 Gilles Muller, INRIA/LiP6. GPLv2. |
| 14 | // URL: http://coccinelle.lip6.fr/ | 14 | // URL: http://coccinelle.lip6.fr/ |
| 15 | // Comments: | 15 | // Comments: |
| 16 | // Options: -no_includes -include_headers | 16 | // Options: --no-includes --include-headers |
| 17 | 17 | ||
| 18 | virtual org | 18 | virtual org |
| 19 | virtual report | 19 | virtual report |