On Tue, 2012-01-03 at 16:46 +0100, Robert Gomulka wrote: > Hi all, > a few days ago I started using Coccinelle as a tool for improving my > source code. The tool is pretty impressive, although I must admit > learning curve is quite steep for me. > Unfortunately I am unable to fully automate the checks (found in > kernel git repository and on Coccinelle web page), as they can eat > whole memory (12 GB RAM + SWAP) and/or appear to be hanging after a > few hours.
I am also new to coccinelle, and saw this issue. If I compile 3.2-ish kernel with coccinelle check - the compilation dies. I also saw that coccinelle works forewer with some files in the kernel. Anyway, to work this around, I run spatch with -timeout 120. -- Best Regards, Artem Bityutskiy
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
