From bb19ced081b9a88c729b21c691d83c625cb56038 Mon Sep 17 00:00:00 2001 From: George Boudreau Date: Mon, 3 Jul 2006 17:21:21 +0000 Subject: [PATCH] Remove unnecessary trace. --- common/progress_bar.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/progress_bar.sh b/common/progress_bar.sh index 7191777..fb0dc00 100755 --- a/common/progress_bar.sh +++ b/common/progress_bar.sh @@ -26,7 +26,7 @@ makePID=$(echo $makePID | cut -d" " -f2) write_or_exit() { # make has been killed or failed or run to completion, leave - [[ ! -e /proc/$makePID ]] && echo -n "progress bar dies:${CURSOR_ON}" && exit + [[ ! -e /proc/$makePID ]] && echo -n "${CURSOR_ON}" && exit # Target build complete, leave. [[ -f ${TARGET} ]] && echo -n "${CURSOR_ON}" && exit