diff --git a/run b/run index 244d8e3..2da9e1c 100755 --- a/run +++ b/run @@ -363,7 +363,10 @@ if "$tmux"; then eval "./tmu ./rungdb -a '${arch} -L ${common_linux_variant}' -n ${common_run_id} ${tmux_args}" fi fi -cmd="time ${cmd} \\ +cmd="time ${cmd}" +if ! "$debug_vm"; then + cmd="${cmd} \ |& tee >(ts -s %.s > ${common_termout_file}) \ " +fi "${root_dir}/eeval" "$cmd" "${common_run_dir}/run.sh"