On Mon, 9 May 2011, SF Markus Elfring wrote: > > You can try the -profile option to see what is taking a lot of time. > > Does the tool implementation use a thread pool?
No. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
