>>>> 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
