Messages in this thread | | | Subject | Re: [v2] Documentation: Coccinelle: fix typos and command example | From | Markus Elfring <> | Date | Wed, 1 Jul 2020 17:32:06 +0200 |
| |
>> Do we stumble on a target conflict according to a specific technical detail? >> >> How do you think about to compare source code analysis results >> from programs like “sparse” and “spatch” (by the mentioned make command)? > > None of that has anything to do with the current patch.
Both analysis tools can (and should be) be invoked according to the command parameter “CHECK”. I hope that the relationship to the compilation of a single source file will be clarified better.
Regards, Markus
| |