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/ > > 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
Attachment:
signature.asc
Description: PGP signature
