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 S1752950AbcFJVve (ORCPT <rfc822;w@1wt.eu>);
	Fri, 10 Jun 2016 17:51:34 -0400
Received: from sauhun.de ([89.238.76.85]:40719 "EHLO pokefinder.org"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1752116AbcFJVvd (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Fri, 10 Jun 2016 17:51:33 -0400
Date: Fri, 10 Jun 2016 23:51:26 +0200
From: Wolfram Sang <wsa@the-dreams.de>
To: "Luis R. Rodriguez" <mcgrof@kernel.org>
Cc: Julia Lawall <julia.lawall@lip6.fr>, cocci@systeme.lip6.fr,
        mmarek@suse.com, linux-kernel@vger.kernel.org
Subject: Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options
Message-ID: <20160610215126.GB1650@katana>
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>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="0eh6TmSyL6TZE2Uz"
Content-Disposition: inline
In-Reply-To: <20160610214900.GH11948@wotan.suse.de>
User-Agent: Mutt/1.5.24 (2015-08-30)
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org


--0eh6TmSyL6TZE2Uz
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

> 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'.


--0eh6TmSyL6TZE2Uz
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJXWzZdAAoJEBQN5MwUoCm2N1QP/2poC+D2BqD6CCJ95oDJCyFR
mS2TroP0tmQwLQKpdxT1wE2D1eNtXJzt8deufDYPBjzU3+8Tew6WAXbo6RzQzxCd
vBwR2+900z2Qv+sT3HtM6IpUoqvARthkM4nX5zbnVhHsbNFC1vx2/8lxLtLubXel
nBxsQQVf9eZlHvVVBsnD4lV0w2zggmbOIQW92knWW/xGtZBwcWhTpYFj5MK9npDb
eqK5OCT5aNz7Jnx3plqyUrbmL7S7gNPRTa7DBYkfWQ6D4pzlUKDpsm+olYx6kgnX
KQH+XCCYMUXNnweVMOO8/Y1bP0XQ51aPK2i+AFHbjOiWZsJ1TizDTW+x3NLtwO7W
QFGH/1HzTYThK8d5S1pxS/tTLaJC6xPoq7dPYFrxVhrCSxV2C4Hf5hMwVe7m55Sn
UKD2X9GX2JfWB1nuThSsx7dftUiPZ+yehMvOVigKgoNO5Gv10bLo1LPYnhOysWfb
eNtY54Yo0DXOcuODg9qTDSGXMs9LF8hbyG6tYYZWjyWoB1JOspQKEeEib7p4EpIn
KW/uxuyWFHaqs2Jm6Ixl0bdQXFJZTEIjlyt59HgKjp30/UWZuQvxHMwbn5DCFckA
9iWmDGBKkvs5GYWuZ+dMnWFjGt/o91YMshTha5mjBybC517+XIP72vFSTUBUesb0
o126lvLqe+e41lyoEDlC
=zQXM
-----END PGP SIGNATURE-----

--0eh6TmSyL6TZE2Uz--