On Mon, Aug 30, 2010 at 13:35 +0200, Julia Lawall wrote: > If it is very slow, then perhaps there is a memory leak somewhere, and > that would be something to look into. Is it slow on gdb or glibc > specifically?
On Linux kernel. I don't remember what directory, but with -dir it was hanging... I've just tested it on random directory - with -dir it is x4 times faster ;) _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
