: >"$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
