[Cocci] [PATCH v3] coccinelle: fix parallel build with CHECK=scripts/coccicheck
julia.lawall at lip6.fr
Tue Nov 14 10:49:12 CET 2017
> + # If -j option is given to Make, scripts/coccicheck runs in parallel.
> + # If coccinelle also runs in parallel, it fails because multiple processes
> + # try to get access to the same subdirectory that stores stdout/stderr.
> + # No need to parallelize coccinelle in this case - this mode takes only
> + # one file input.
> + NPROC=1
Since I am also changing Coccinelle to avoid the problem, maybe it would
be better to just remove the explanation sentence (If coccinelle also runs
More information about the Cocci