>> - add "path/to/file.c" when using Coccinelle to check a single file … > Acked-by: Julia Lawall <julia.lawall@xxxxxxxx> Do you really acknowledge that the specified make command is working in the expected way? Would you like to mention any source file then for which known source code analysis (or transformation) results should be presented? Regards, Markus