[PING]Wrong prefix checking of global variables
p.kopyl at samsung.com
Fri Feb 19 00:42:19 UTC 2016
If that patches are fine, I would be very appreciated if you help to
commit one of them.
On 02/08/2016 02:52 PM, Pavel Kopyl wrote:
> Of course there are several ways how to make this check.
> But, selecting between
> "[[ ]]_gurkmacka" (SPACE+TAB)
> it seems for me that the last solution is more clear.
> Any way, if there are no objections let's select and commit one of them.
> > "gurkmacka" means "cucumber sandwich"
> Best regards,
> On 01/26/2016 09:17 PM, Niels Möller wrote:
>> Marc Glisse <marc.glisse at inria.fr> writes:
>>> IIRC, \<\> is not a
>>> standard feature of grep but a GNU extension.
>> Maybe it's good enough to grep for " _gurkmacka", i.e., with a leading
>> space. Or maybe allow a TAB character too.
>> For non-swedish speakers, "gurkmacka" means "cucumber sandwich". ;-)
More information about the gmp-bugs