[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20160613183931.GO11948@wotan.suse.de>
Date: Mon, 13 Jun 2016 20:39:31 +0200
From: "Luis R. Rodriguez" <mcgrof@...nel.org>
To: Julia Lawall <julia.lawall@...6.fr>
Cc: Wolfram Sang <wsa@...-dreams.de>,
"Luis R. Rodriguez" <mcgrof@...nel.org>, cocci@...teme.lip6.fr,
mmarek@...e.com, linux-kernel@...r.kernel.org
Subject: Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options
On Sat, Jun 11, 2016 at 07:24:51AM +0200, Julia Lawall wrote:
>
>
> On Fri, 10 Jun 2016, Wolfram Sang wrote:
>
> > > AFAICT coccinelle does not have integration support for id-utils though.
> >
> > I used it just today ;) -- "--use-idutils ./ID"
> >
> > ID was generated with simple 'mkid -s'.
>
> Coccinelle includes a script scripts/idutils_index.sh
>
> This does mkid -i C --output .id-utils.index *
I'll add support for detecting both. An issue of course is if any of these
indexes grows stale. So I'll advise against these and recommend gitgrep
unless the user has a hook to update index regularly.
Luis
Powered by blists - more mailing lists