Wrong prefix checking of global variables

[Pavel Kopyl]

Hello,

Of course there are several ways how to make this check.

But, selecting between
"[[  ]]_gurkmacka" (SPACE+TAB)
and
"[[[:blank:]]]_gurkmacka"
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,
-Pavel


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". ;-)
>
> Regards,
> /Niels
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix_wrong_var_prefix_posix2.patch
Type: text/x-patch
Size: 866 bytes
Desc: not available
URL: <https://gmplib.org/list-archives/gmp-bugs/attachments/20160208/7f84377d/attachment.bin>