bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Dealing with character ranges in grep


From: Aharon Robbins
Subject: Re: Dealing with character ranges in grep
Date: Thu, 16 Jun 2011 22:09:04 +0300
User-agent: Heirloom mailx 12.4 7/29/08

Hi.

> From: Jim Meyering <address@hidden>
> To: Bruno Haible <address@hidden>
> Cc: Paolo Bonzini <address@hidden>, Aharon Robbins <address@hidden>,
>         address@hidden, bug-grep <address@hidden>, address@hidden
> Subject: Re: Dealing with character ranges in grep
> Date: Thu, 16 Jun 2011 07:58:05 +0200
>
> To make this proposed change go through, that configure-time option would
> have to be eliminated, so that we always build with the gnulib-provided
> regex code.

Gawk already works this way, FWIW.  I think the gain in consistent
behavior across Linuxes and non-Linux systems is worth the small cost
of increased executable sizes.  We're not talking about 100 M disks
anymore.

:-)

Thanks,

Arnold



reply via email to

[Prev in Thread] Current Thread [Next in Thread]