On Thu, 8 Mar 2012, Tim Harder wrote:
Hi, I've attached a trivial patch to fix a parallel make error when building the documentation for coccinelle.
I'm not sure that parallel make is possible in general for coccinelle, though.
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
