From 8989b603a3b3478f93980bee008612374ddc0322 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Mon, 25 Feb 2013 17:39:59 +0100
Subject: fix build_core

---
 remote/setup_tools | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'remote/setup_tools')

diff --git a/remote/setup_tools b/remote/setup_tools
index 76f163f5..72664b27 100755
--- a/remote/setup_tools
+++ b/remote/setup_tools
@@ -197,11 +197,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
@@ -229,13 +228,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() {
-- 
cgit v1.2.3-55-g7522