Re: [Cocci] Something like --exclude?

2018-06-18 Thread Julia Lawall
On Mon, 18 Jun 2018, Kees Cook wrote: > Hi, > > I normally use "--dir ." when doing recursive runs in the kernel tree, > but I want to avoid changes in the tools/ subdirectory. I can't find > anything like --exclude, and --dir can't be specified multiple times. > Is there an existing solution

[Cocci] Something like --exclude?

2018-06-18 Thread Kees Cook
Hi, I normally use "--dir ." when doing recursive runs in the kernel tree, but I want to avoid changes in the tools/ subdirectory. I can't find anything like --exclude, and --dir can't be specified multiple times. Is there an existing solution I'm missing? Thanks! -Kees -- Kees Cook Pixel