[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <969f9704-6781-4bd6-a0ee-46c7110a2c93@kili.mountain>
Date: Tue, 2 May 2023 18:24:53 +0300
From: Dan Carpenter <dan.carpenter@...aro.org>
To: Brandon Ross Pollack <brpol@...omium.org>
Cc: Dan Carpenter <error27@...il.com>,
Miguel Ojeda <miguel.ojeda.sandonis@...il.com>,
linux-kernel@...r.kernel.org, masahiroy@...nel.org,
ojeda@...nel.org, alex.gaynor@...il.com, keescook@...omium.org,
nathan@...nel.org
Subject: Re: [PATCH] .gitignore: ignore smatch generated files
On Fri, Apr 28, 2023 at 11:55:17AM +0900, Brandon Ross Pollack wrote:
> On Thu, Apr 27, 2023 at 8:20 PM Dan Carpenter <error27@...il.com> 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?
I've deleted the trinity stuff. Let's just apply the rest as-is.
regards,
dan carpenter
Powered by blists - more mailing lists