Re: [Cocci] [PATCH v2] scripts: coccicheck: Do not use shift command when rule is specified

2020-09-09 Thread Julia Lawall


On Wed, 9 Sep 2020, Markus Elfring wrote:

> > Modify coccicheck to use the shift command only when
> > number of shell arguments is not zero.
>
> I suggest to add the tag “Fixes” to the commit message.

I don't think there is any need for that.  This is not a patch that should
be backported.  The previous situation did not cause any problem with the
execution of make coccicheck, only a tiresome warning message.

julia

>
>
> > Changes in V2:
> > - Fix spelling errors as suggested by Markus Elfring
>
> Would you like to adjust the last word in the previous patch subject 
> accordingly?
>
> Regards,
> Markus
> ___
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] [PATCH v2] scripts: coccicheck: Do not use shift command when rule is specified

2020-09-09 Thread Markus Elfring
> Modify coccicheck to use the shift command only when
> number of shell arguments is not zero.

I suggest to add the tag “Fixes” to the commit message.


> Changes in V2:
>   - Fix spelling errors as suggested by Markus Elfring

Would you like to adjust the last word in the previous patch subject 
accordingly?

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci