# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1178656868 0
# Node ID a20be197429a33582fb29b244f1f6ba4e43b76c2
# Parent  d62d61c9de7bc9a808c1e150ebb01b9263246f82
Hop, a somewhat more efficient progress bar, less CPU consuming, if that was a problem :-)
(a litlle recreation while toochains are building...)

diff -r d62d61c9de7b -r a20be197429a scripts/crosstool.sh
--- a/scripts/crosstool.sh	Tue May 08 20:24:26 2007 +0000
+++ b/scripts/crosstool.sh	Tue May 08 20:41:08 2007 +0000
@@ -45,12 +45,13 @@
         printf "[%02d:%02d]" $((elapsed/60)) $((elapsed%60))
     }
     _CT_PROG_BAR() {
-        [ $((cpt/10)) -eq 0 ] && echo -en "\r`_CT_PROG_BAR_DATE` /"
-        [ $((cpt/10)) -eq 1 ] && echo -en "\r`_CT_PROG_BAR_DATE` -"
-        [ $((cpt/10)) -eq 2 ] && echo -en "\r`_CT_PROG_BAR_DATE` \\"
-        [ $((cpt/10)) -eq 3 ] && echo -en "\r`_CT_PROG_BAR_DATE` |"
-        cpt=$(((cpt+1)%40))
+        [ ${CT_PROG_BAR_CPT} -eq 0  ] && echo -en "\r`_CT_PROG_BAR_DATE` /"
+        [ ${CT_PROG_BAR_CPT} -eq 10 ] && echo -en "\r`_CT_PROG_BAR_DATE` -"
+        [ ${CT_PROG_BAR_CPT} -eq 20 ] && echo -en "\r`_CT_PROG_BAR_DATE` \\"
+        [ ${CT_PROG_BAR_CPT} -eq 30 ] && echo -en "\r`_CT_PROG_BAR_DATE` |"
+        CT_PROG_BAR_CPT=$(((CT_PROG_BAR_CPT+1)%40))
     }
+    CT_PROG_BAR_CPT=0
     CT_PROG_BAR=_CT_PROG_BAR
     export -f _CT_PROG_BAR
 else
diff -r d62d61c9de7b -r a20be197429a scripts/functions
--- a/scripts/functions	Tue May 08 20:24:26 2007 +0000
+++ b/scripts/functions	Tue May 08 20:41:08 2007 +0000
@@ -91,6 +91,7 @@
               normal="CT_NORMAL_COLOR"
               if [ ${cur_l} -le ${max_level} ]; then
                   echo -e "\r${!color}${l}${!normal}"
+                  CT_PROG_BAR_CPT=0 # Force redrawing progress bar on next 'unlogged' line
               else
                   ${CT_PROG_BAR}
               fi