Re: [PATCH] grep: sparse files are now considered binary

[Jim Meyering]

Paul Eggert wrote:
> On 05/15/2012 10:15 AM, Jim Meyering wrote:
>> So how about this?
>
> Sure, that's fine.  Sorry about the changes to old NEWS;
> I don't know how that happened.
>
> One suggestion: change this:
>
> (${AWK-awk} 'BEGIN{ for (i=0;i<1000;i++) printf "%080d\n", 0 }'
>
> to this:
>
> (${AWK-awk} 'BEGIN{ for (i=0;i<1000;i++) printf "%080d\n", 0 }' </dev/null
>
> to deal with non-POSIX awks that don't ignore stdin when given
> only BEGIN rules.  Solaris awk has this problem (even
> Solaris 11!).

Oh, that does ring a bell.  Corrected and pushed.
Thanks.