Subject: Re: bug#35762: (No Subject)
From: Karl Berry <[email-masked]>
To: [email-masked]
Date: Mon, 23 Nov 2020 19:06:51 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

: >"$log_file"
   "$@" >>"$log_file" 2>&1

I committed this change to test-driver, so it'll (finally) be in the
next release. (Sorry for the long-delayed response.)

(I was tempted to make the script exit unsuccessfully if either of the
commands failed (e.g., add  || exit 1  or some such), but I was too scared.)

Thanks for the report,
Karl