Wrong prefix checking of global variables
p.kopyl at samsung.com
Mon Feb 8 11:52:24 UTC 2016
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"
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". ;-)
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 866 bytes
Desc: not available
More information about the gmp-bugs