On Wed, 9 Sep 2015, Jörn Engel wrote:
> On Wed, Sep 09, 2015 at 12:08:02PM +0200, Julia Lawall wrote:
> >
> > This is available is you have Coccinelle version 1.0.2. Just give -j X
> > where X is the number of cores that you want to use.
>
> Debian is still at 1.0.0. I suspect I will wait for them to upgrade
> rather than package a newer version myself. Laziness wins the day.
There is a scrit that provides an alternative soluiton to parallelism
here:
http://article.gmane.org/gmane.comp.version-control.coccinelle/684/match=kees+cook
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
