Messages in this thread | | | Subject | Re: [v2] Documentation: Coccinelle: fix typos and command example | From | Markus Elfring <> | Date | Wed, 1 Jul 2020 15:32:23 +0200 |
| |
>>>> 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 >> … >>> 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...
Is our understanding still incomplete for the support of source code checking parameters by the make script?
* Will software analysis be performed in addition to the desired compilation of a source file (according to the selected object file)?
* How do you think about to trigger only the generation of analysis results for a single file?
Regards, Markus
| |