diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-08 20:41:08 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-08 20:41:08 (GMT) |
commit | 823a283d19935b1890e1137f056b974df2dda481 (patch) | |
tree | 706dd5f24baef49e3eaff53f366ccda1f6843095 /scripts/crosstool.sh | |
parent | 9bed6362936100dd850922d88d7bc00d58137e48 (diff) |
Hop, a somewhat more efficient progress bar, less CPU consuming, if that was a problem :-)
(a litlle recreation while toochains are building...)
Diffstat (limited to 'scripts/crosstool.sh')
-rwxr-xr-x | scripts/crosstool.sh | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/scripts/crosstool.sh b/scripts/crosstool.sh index 84a7932..1eacc73 100755 --- a/scripts/crosstool.sh +++ b/scripts/crosstool.sh @@ -45,12 +45,13 @@ if [ "${CT_LOG_PROGRESS_BAR}" = "y" ]; then 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 |