Hi, Is there any way to distribute spatch between 2+ CPU cores? If I do "spatch -dir" then it runs on one core. The solution - get the list of files and distribute it between 2+ independend instances of spatch "cat list1 | xargs spatch -sp_file xxx.cocci" - works _very_ slow, much slower than even one instance of spatch -dir .
Thanks, -- Vasiliy _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
