[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] grep: sparse files are now considered binary
From: |
Paul Eggert |
Subject: |
Re: [PATCH] grep: sparse files are now considered binary |
Date: |
Tue, 15 May 2012 19:43:33 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:11.0) Gecko/20120329 Thunderbird/11.0.1 |
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!).