[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <alpine.DEB.2.02.1606110723390.2114@localhost6.localdomain6>
Date: Sat, 11 Jun 2016 07:24:51 +0200 (CEST)
From: Julia Lawall <julia.lawall@...6.fr>
To: Wolfram Sang <wsa@...-dreams.de>
cc: "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 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 *
julia
Powered by blists - more mailing lists