On 11/14/2017 10:34 AM, Masahiro Yamada wrote:
Hi.
2017-11-11 3:54 GMT+09:00 Heinrich Schuchardt <xypron.g...@gmx.de>:
Coccinelle is a program for static code analysis.
For details on Coccinelle see
http://coccinelle.lip6.fr/
Add scripts/coccicheck and Documentation/dev-tools/coccinelle.rst
copied from Linux kernel v4.14-rc8.
The coccicheck script executes the tests *.cocci in
directory scripts/coccinelle by calling spatch.
In Makefile add a coccicheck target. You can use it with
make coccicheck MODE=<mode>
where mode in patch, report, context, org.
Signed-off-by: Heinrich Schuchardt <xypron.g...@gmx.de>
You can run "make coccicheck" without the .config file.
So, you need to add coccinelle to no-dot-config-targets.
Refer to the following code in Linux.
no-dot-config-targets := clean mrproper distclean \
cscope gtags TAGS tags help% %docs check% coccicheck \
$(version_h) headers_% archheaders archscripts \
kernelversion %src-pkg
For whatever reason the Makefile without my patch already had a
coccicheck entry in this list.
We should not add it twice.
Best regards
Heinrich
_______________________________________________
U-Boot mailing list
U-Boot@lists.denx.de
https://lists.denx.de/listinfo/u-boot
