Messages in this thread | | | Date | Sat, 11 Jun 2016 07:24:51 +0200 (CEST) | From | Julia Lawall <> | 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
| |