"make check" times

[DJ Delorie]

Joseph Myers <joseph@codesourcery.com> writes:
> Strictly speaking a safe "read" would be IFS= read -r line (IFS= to avoid 
> stripping leading whitespace, -r to avoid backslash escapes being 
> processed).  However, in this case that's not needed because valid test 
> result lines do not start with whitespace and do not contain backslash 
> (and nor do they start -n or -e, being cases where the "echo" would be 
> unsafe).

I did think of those, but yeah, we're parsing our own data and it's
"safe".