From mboxrd@z Thu Jan 1 00:00:00 1970 From: wsa@the-dreams.de (Wolfram Sang) Date: Mon, 27 May 2013 22:08:39 +0200 Subject: [Cocci] id-utils? In-Reply-To: References: <20130525162343.GA3238@katana> Message-ID: <20130527200838.GA2931@katana> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr On Sat, May 25, 2013 at 06:42:47PM +0200, Julia Lawall wrote: > Attached. Thanks, works like a charm! Processing the kernel took 20 seconds (plus 3 minutes to generate the index once). Without idutils, processing was 9 minutes. So, I love it! I found out that I can also use the index generated by the viewer 'seascope'. The name is 'ID' instead of '.id-utils.index', so I symlinked to it. It might be an idea to give the --use-idutils option an optional filename argument to point to the index it should use? Anyhow, thanks for the help, this seems to speed up things by a magnitude. Wolfram -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 836 bytes Desc: Digital signature URL: