bug#15991: 24.3.50; Wishlist: Make test suite user-friendlier

[Eli Zaretskii]

> From: Michael Albinus <michael.albinus@gmx.de>
> Date: Fri, 27 Jun 2014 09:23:10 +0200
> Cc: 15991@debbugs.gnu.org
> 
> Could you pipe the test output through tee or something like this? I
> don't know how portable this would be, 'tho.

It should be portable for every platform that supports running the
test suite, since that requires a shell that can handle this.