From: wsa@the-dreams.de (Wolfram Sang)
Date: Sat, 11 Jun 2016 07:46:25 +0200
Subject: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options
In-Reply-To: <20160610222521.GJ11948@wotan.suse.de>
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>
 <20160610220831.GI11948@wotan.suse.de>
 <20160610222521.GJ11948@wotan.suse.de>
Message-ID: <20160611054625.GA1824@katana>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr


> real    16m11.692s
> user    127m50.388s
> sys     0m2.168s

That's better but not a magnitude, I wonder.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20160611/f8445aa0/attachment.asc>