"Joseph S. Myers" <[EMAIL PROTECTED]> writes:
> On Wed, 18 May 2005, Richard Sandiford wrote:
>> FWIW, those mips messages _were_ sent with test_summary. I'm not
>> sure why they got mangled. Are there any known issues that would
>> cause that?
>
> What awk version are you using? (The script tests for gawk, nawk, awk if
> $AWK is not set.) Experimenting suggests that mawk is deficient in this
> regard: where the script extracts the version number
>
> $2 == "version" { save = $0; $1 = ""; $2 = ""; version = $0; gsub(/^ */,
> "", version); gsub(/\r$/, "", version); $0 = save; }
>
> mawk loses the spaces whereas gawk or nawk do not.
Good catch! I was indeed using mawk. I've installed gawk now,
so hopefully next time it should work...
Richard
