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

From: Julia Lawall
Date: Wed Sep 09 2020 - 05:01:24 EST

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.


> > 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