cocinelle: use GNU parallel to run spatch
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 11 Jun 2018 13:58:09 +0000 (15:58 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 13 Jun 2018 08:52:33 +0000 (10:52 +0200)
commit3b253ad6890af0fda91fed8b67ad0805b6ff1a3d
tree6736fd6620528804ddb946ae57589aa42c029f40
parentfbbe6d65b49454c84fb538dcd7cce6099d678007
cocinelle: use GNU parallel to run spatch

spatch is single-threaded, i.e. slow. On my machine it allocates 5 GB of memory
and starts swapping, which makes it even slower. Using parallel makes the whole
thing pleasantly fast.
coccinelle/run-coccinelle.sh