Re: [Cocci] [PATCH v3] coccinelle: fix parallel build with CHECK=scripts/coccicheck

2017-11-14 Thread Julia Lawall
On Tue, 14 Nov 2017, Luis R. Rodriguez wrote: > On Tue, Nov 14, 2017 at 06:04:49PM +0900, Masahiro Yamada wrote: > > diff --git a/scripts/coccicheck b/scripts/coccicheck > > index 040a8b1..7da82a1 100755 > > --- a/scripts/coccicheck > > +++ b/scripts/coccicheck > > @@ -70,6 +64,13 @@ if [ "$C" =

Re: [Cocci] [PATCH v3] coccinelle: fix parallel build with CHECK=scripts/coccicheck

2017-11-14 Thread Luis R. Rodriguez
On Tue, Nov 14, 2017 at 06:04:49PM +0900, Masahiro Yamada wrote: > diff --git a/scripts/coccicheck b/scripts/coccicheck > index 040a8b1..7da82a1 100755 > --- a/scripts/coccicheck > +++ b/scripts/coccicheck > @@ -70,6 +64,13 @@ if [ "$C" = "1" -o "$C" = "2" ]; then > # Take only the last argume

Re: [PATCH v3] coccinelle: fix parallel build with CHECK=scripts/coccicheck

2017-11-14 Thread Masahiro Yamada
2017-11-14 20:09 GMT+09:00 Julia Lawall : > > > On Tue, 14 Nov 2017, Masahiro Yamada wrote: > >> Hi Julia, >> >> >> 2017-11-14 18:49 GMT+09:00 Julia Lawall : >> >> + >> >> +# If -j option is given to Make, scripts/coccicheck runs in parallel. >> >> +# If coccinelle also runs in parallel, it

Re: [PATCH v3] coccinelle: fix parallel build with CHECK=scripts/coccicheck

2017-11-14 Thread Julia Lawall
On Tue, 14 Nov 2017, Masahiro Yamada wrote: > Hi Julia, > > > 2017-11-14 18:49 GMT+09:00 Julia Lawall : > >> + > >> +# If -j option is given to Make, scripts/coccicheck runs in parallel. > >> +# If coccinelle also runs in parallel, it fails because multiple > >> processes > >> +# tr

Re: [PATCH v3] coccinelle: fix parallel build with CHECK=scripts/coccicheck

2017-11-14 Thread Masahiro Yamada
Hi Julia, 2017-11-14 18:49 GMT+09:00 Julia Lawall : >> + >> +# 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/std

Re: [PATCH v3] coccinelle: fix parallel build with CHECK=scripts/coccicheck

2017-11-14 Thread Julia Lawall
> + > +# 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 cas

[PATCH v3] coccinelle: fix parallel build with CHECK=scripts/coccicheck

2017-11-14 Thread Masahiro Yamada
The command "make -j8 C=1 CHECK=scripts/coccicheck COCCI=..." produces lots of "coccicheck failed" error messages. Julia Lawall explained the coccinelle behavior as follows: "The problem on the Coccinelle side is that it uses a subdirectory with the name of the semantic patch to store standard out