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