Re: [PATCH] .gitignore: ignore smatch generated files

From: Brandon Ross Pollack
Date: Thu Apr 27 2023 - 22:55:39 EST


On Thu, Apr 27, 2023 at 8:20 PM Dan Carpenter <error27@xxxxxxxxx> wrote:
>
> Thanks for this. To be honest, I hadn't remembered that Smatch
> still generates trinity_smatch.[ch]. I would prefer to just delete that
> stuff. Another idea is maybe Smatch could put everything in a
> smatch/ directory? That feels like maybe it would be nicer?

Sure, that'd be great as well. I'm pretty sure that smatch outputs
these files from whatever directory you run from, that's why I did the
overall pattern rather than a path pattern.

Should we just patch smatch to not output trinity* files and output to
a directory and change this patch to mask out the directory?

>
> regards,
> dan carpenter