From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1751612AbcFKFY4 (ORCPT <rfc822;w@1wt.eu>);
	Sat, 11 Jun 2016 01:24:56 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:7701 "EHLO
	mail3-relais-sop.national.inria.fr" rhost-flags-OK-OK-OK-OK)
	by vger.kernel.org with ESMTP id S1751058AbcFKFYz (ORCPT
	<rfc822;linux-kernel@vger.kernel.org>);
	Sat, 11 Jun 2016 01:24:55 -0400
X-IronPort-AV: E=Sophos;i="5.26,454,1459807200"; 
   d="scan'208";a="180912300"
Date: Sat, 11 Jun 2016 07:24:51 +0200 (CEST)
From: Julia Lawall <julia.lawall@lip6.fr>
X-X-Sender: jll@localhost6.localdomain6
To: Wolfram Sang <wsa@the-dreams.de>
cc: "Luis R. Rodriguez" <mcgrof@kernel.org>, cocci@systeme.lip6.fr,
        mmarek@suse.com, linux-kernel@vger.kernel.org
Subject: Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement
 options
In-Reply-To: <20160610215126.GB1650@katana>
Message-ID: <alpine.DEB.2.02.1606110723390.2114@localhost6.localdomain6>
References: <1465591332-31113-1-git-send-email-mcgrof@kernel.org> <1465591332-31113-5-git-send-email-mcgrof@kernel.org> <alpine.DEB.2.02.1606102301090.2070@localhost6.localdomain6> <20160610211820.GG11948@wotan.suse.de> <alpine.DEB.2.02.1606102319480.2070@localhost6.localdomain6>
 <20160610214357.GA1650@katana> <20160610214900.GH11948@wotan.suse.de> <20160610215126.GB1650@katana>
User-Agent: Alpine 2.02 (DEB 1266 2009-07-14)
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org



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