On 2017/7/31 16:07, Leon Romanovsky wrote:
On Sat, Jul 29, 2017 at 03:28:57PM +0800, Wei Hu (Xavier) wrote:
On 2017/7/25 15:11, Dan Carpenter wrote:
This is a Smatch check.https://lwn.net/Articles/629250/
regards,
dan carpenter
Hi, Dan Carpenter
Thanks,
I have another question,
We use "make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- " to compile kernel
with cross compiler.
If we want check only some files in some directories, how to use this smatch
tool to check them?
You can provide relevant directories to the make call, something like that:
make CHECK="smatch -p=kernel" C=1 drivers/infiniband/hw/hns/
Thanks very much, Leon
I got it.
Regards
Wei Hu
Regards
Wei Hu
--
To unsubscribe from this list: send the line "unsubscribe linux-rdma" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
--
To unsubscribe from this list: send the line "unsubscribe linux-rdma" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
