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