From mboxrd@z Thu Jan 1 00:00:00 1970 From: Markus Elfring Date: Wed, 01 Jul 2020 13:32:23 +0000 Subject: Re: [v2] Documentation: Coccinelle: fix typos and command example Message-Id: <2f80fb10-dc7f-29be-dc3e-2715f8bafc6d@web.de> List-Id: References: <0616dd0c-bb86-be2b-3dc6-1c695a92c3ca@infradead.org> <2a3940de-6a81-1aff-8109-53c1c5a6aa1b@web.de> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit To: Randy Dunlap , linux-doc@vger.kernel.org, Coccinelle Cc: LKML , kernel-janitors@vger.kernel.org, Julia Lawall , Gilles Muller , Nicolas Palix , Michal Marek , Masahiro Yamada , Jonathan Corbet >>>> 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