diff --git a/nix/tools/withTools.nix b/nix/tools/withTools.nix index 1a6d14053..eddffdd29 100644 --- a/nix/tools/withTools.nix +++ b/nix/tools/withTools.nix @@ -413,12 +413,14 @@ let } trap cleanup EXIT + wait_start=$SECONDS timeout -s TERM "$_arg_timeout" ${waitForPgrstReady} || { echo "timed out, output:" cat "$tmpdir"/run.log exit 1 } - echo "done." + wait_duration=$((SECONDS - wait_start)) + printf "done in %ss.\n" "$wait_duration" if [[ -n "$_arg_monitor" ]]; then ${monitorPid} "$pid" > "$_arg_monitor" &