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

[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@xxxxxxxxxxxxxxx
> https://systeme.lip6.fr/mailman/listinfo/cocci
>