On 7/1/20 4:56 AM, Markus Elfring wrote:

quoted

quoted

…

quoted

+++ linux-next-20200629/Documentation/dev-tools/coccinelle.rst

…

quoted

@@ -177,13 +177,13 @@ For example, to check drivers/net/wirele
 To apply Coccinelle on a file basis, instead of a directory basis, the
 following command may be used::

-    make C=1 CHECK="scripts/coccicheck"
+    make C=1 CHECK="scripts/coccicheck" path/to/file.c

…

quoted

quoted

We might stumble on different interpretations according to the wording “file basis”.
Do you find a message like “make: Nothing to be done for 'path/to/file.c'.” interesting then?

* Would you like to add any links for information around the support for
  source code checkers?
  https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Makefile?id=7c30b859a947535f2213277e827d7ac7dcff9c84#n198

…

quoted

Feel free to submit patches.

How do you think about to use the following command variant
for the adjustment of the software documentation?

+    make C=1 CHECK='scripts/coccicheck' 'path/to/file.o'

I don't understand the reason for that change...


-- 
~Randy