Remove unnecessary trace.
This commit is contained in:
parent
e2ec07a52f
commit
bb19ced081
1 changed files with 1 additions and 1 deletions
|
@ -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
|
||||
|
|
Reference in a new issue