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.

Again, thank you for this.  It turned a nightmare into mere work.

Jörn

--
It's just what we asked for, but not what we want!
-- anonymous
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to