Re: FAIL: df/total-awk.log

[Jim Meyering]

Ed Avis <address@hidden> wrote:
> FAIL: df/total-awk.log (exit: 1)
> ================================
> + diff -u out1 out2
> --- out1      2008-10-10 20:22:10.000000000 +0100
> +++ out2      2008-10-10 20:22:10.000000000 +0100
> @@ -1,3 +1,3 @@
> -4.11081e+09
> -2.60756e+09
> +4110809460
> +2607560286
>  1501678984

Actually, that might be due to something else.
What version of awk are you using?

With the versions of gawk I've tried (3.1.5 and 3.1.6),
it doesn't use the offending format:

  $ awk 'BEGIN {print 2607560286}'
  2607560286

Ah ha!
But if i use mawk, it does:

  $ mawk 'BEGIN {print 2607560286}'
  2.60756e+09

This might be the last straw.  If my patch doesn't work for you,
then I'd welcome a rewrite of that test to make
it use perl (and to skip it if perl is not available).