Added the case when sleep is in /usr/bin to progress_bar.sh

This commit is contained in:
Pierre Labastie 2012-04-21 21:22:28 +00:00
parent 48acdd4ecf
commit ea81eb28cc

View file

@ -3,7 +3,7 @@
set -e set -e
# Be sure that we know the taget name # Be sure that we know the target name
[[ -z $1 ]] && exit [[ -z $1 ]] && exit
TARGET=$1 # Remember the target build we are looking for TARGET=$1 # Remember the target build we are looking for
MAKE_PPID=$2 MAKE_PPID=$2
@ -26,8 +26,10 @@ declare -i PREV_SEC=0
# Prevent segfault on stripping phases # Prevent segfault on stripping phases
if [[ "$BASHBIN" = "/tools/bin/bash" ]] ; then if [[ "$BASHBIN" = "/tools/bin/bash" ]] ; then
SLEEP=/tools/bin/sleep SLEEP=/tools/bin/sleep
else elif [ -x /bin/sleep ] ; then
SLEEP=/bin/sleep SLEEP=/bin/sleep
else
SLEEP=/usr/bin/sleep
fi fi
write_or_exit() { write_or_exit() {