diff options
| author |   Julia Lawall <Julia.Lawall@lip6.fr> | 2017-10-29 01:43:09 +0200 |
|---|---|---|
| committer |   Masahiro Yamada <yamada.masahiro@socionext.com> | 2017-11-14 23:19:04 +0900 |
| commit | 69c4907ba1ee9e9428363c9419c9116bb28c402c (patch) | |
| tree | 063510c0df731e86a6d237729ebd32535e3df700 /scripts/Makefile.headersinst | |
| parent | coccinelle: fix verbose message about .cocci file being run (diff) | |
| download | linux-dev-69c4907ba1ee9e9428363c9419c9116bb28c402c.tar.xz linux-dev-69c4907ba1ee9e9428363c9419c9116bb28c402c.zip | |
Coccinelle: use false positive annotation
/// is to describe the semantic patch, while //# indicates reasons
for false positives.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Diffstat (limited to 'scripts/Makefile.headersinst')
0 files changed, 0 insertions, 0 deletions