- update progress also on terminal on arekm-s suggestion

Changed files:
    builder.sh -> 1.383

diff --git a/builder.sh b/builder.sh
index 1071166662d4690d10b0bbadc381a777bd18cb26..fd08e68bc09e70af9d4204f83372d0ef4b2b1f94 100644 (file)
--- a/builder.sh
+++ b/builder.sh
@@ -298,6 +298,7 @@ update_shell_title() {
        local len=${COLUMNS:-80}
        local msg=$(echo "$*" | cut -c-$len)
 
+       echo >&2 "$(date +%s.%N) $*"
        msg="builder[$SPECFILE] ${SHELL_TITLE_PREFIX:+$SHELL_TITLE_PREFIX }$msg"
        case "$TERM" in
                cygwin|xterm*)