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