diff options
Diffstat (limited to 'remote')
| -rwxr-xr-x | remote/setup_tools | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/remote/setup_tools b/remote/setup_tools index 116dc4b1..67099197 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -167,11 +167,10 @@ generate_stage32 () { cd ${TOOL_DIR} while (( "$#" )); do TOOL=$1 - if [ -d ${TOOL} ]; - then - TOOL_STR="[${TOOL}]" - pinfo "## ## Processing module ## ##" - + TOOL_STR="" + pinfo ">>>>>>>>>>>>>>>> Processing module [ $TOOL ]" + TOOL_STR="[${TOOL}]" + if [ -d ${TOOL} ]; then #[ "x$DEBUG" != "x1" ] \ # && echo "Logging to ${TOOL_DIR}/${TOOL}/stage32.log" \ # && exec 6>&1 > ${TOOL_DIR}/${TOOL}/stage32.log @@ -199,13 +198,13 @@ generate_stage32 () { #[ "x$DEBUG" != "x1" ] && exec 1>&6 6>&- # TODO pinfo "## ## Module completed ## ##" - TOOL_STR="" else perror "Tool directory for '$TOOL' not found." # maybe make this a warning instead of error? fi shift done + TOOL_STR="" } clean_tools() { |