From ea81eb28cca1b9debe3f6c44fc7a71214d184202 Mon Sep 17 00:00:00 2001 From: Pierre Labastie Date: Sat, 21 Apr 2012 21:22:28 +0000 Subject: [PATCH] Added the case when sleep is in /usr/bin to progress_bar.sh --- common/progress_bar.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/common/progress_bar.sh b/common/progress_bar.sh index fdf3d65..081c10a 100644 --- a/common/progress_bar.sh +++ b/common/progress_bar.sh @@ -3,7 +3,7 @@ set -e -# Be sure that we know the taget name +# Be sure that we know the target name [[ -z $1 ]] && exit TARGET=$1 # Remember the target build we are looking for MAKE_PPID=$2 @@ -26,8 +26,10 @@ declare -i PREV_SEC=0 # Prevent segfault on stripping phases if [[ "$BASHBIN" = "/tools/bin/bash" ]] ; then SLEEP=/tools/bin/sleep -else +elif [ -x /bin/sleep ] ; then SLEEP=/bin/sleep +else + SLEEP=/usr/bin/sleep fi write_or_exit() {