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!).
