On Mon, 30 Aug 2010, Vasiliy Kulikov wrote: > 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 ;)
OK, if you have the problem again, please let me know. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
