Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision d2bd00f03251193a55f3408b33cc01195ef6236d)
+++ tools/toolchain.sh	(revision b14d9f9e108f8cacda71d80e4c69fc82509d9824)
@@ -123,5 +123,5 @@
 
 check_error() {
-	if [ "$1" -ne "0" ]; then
+	if [ "$1" -ne "0" ] ; then
 		echo
 		echo "Script failed: $2"
@@ -235,5 +235,5 @@
 	CHECKSUM="$3"
 	
-	if [ ! -f "${FILE}" ]; then
+	if [ ! -f "${FILE}" ] ; then
 		change_title "Downloading ${FILE}"
 		wget -c "${SOURCE}${FILE}"
@@ -247,5 +247,5 @@
 	FILE="$1"
 	
-	if [ ! -f "${FILE}" ]; then
+	if [ ! -f "${FILE}" ] ; then
 		echo
 		echo "File ${FILE} not found."
@@ -258,5 +258,5 @@
 	DIR="$1"
 	
-	if [ -d "${DIR}" ]; then
+	if [ -d "${DIR}" ] ; then
 		change_title "Removing ${DIR}"
 		echo " >>> Removing ${DIR}"
@@ -408,7 +408,8 @@
 build_target() {
 	PLATFORM="$1"
+	
 	# This sets the *_TARGET variables
 	set_target_from_platform "$PLATFORM"
-	if $USE_HELENOS_TARGET; then
+	if $USE_HELENOS_TARGET ; then
 		TARGET="$HELENOS_TARGET"
 	else
@@ -429,5 +430,5 @@
 	fi
 	
-	if $USE_HELENOS_TARGET; then
+	if $USE_HELENOS_TARGET ; then
 		PREFIX="${CROSS_HELENOS_PREFIX}/${PLATFORM}"
 	else
@@ -458,11 +459,11 @@
 	
 	echo ">>> Applying patches"
-	for p in $BINUTILS_PATCHES; do
+	for p in $BINUTILS_PATCHES ; do
 		patch_sources "${SRCDIR}/${p}" 0 "binutils"
 	done
-	for p in $GCC_PATCHES; do
+	for p in $GCC_PATCHES ; do
 		patch_sources "${SRCDIR}/${p}" 0 "GCC"
 	done
-	for p in $GDB_PATCHES; do
+	for p in $GDB_PATCHES ; do
 		patch_sources "${SRCDIR}/${p}" 0 "GDB"
 	done
@@ -484,5 +485,5 @@
 	
 	change_title "binutils: install (${PLATFORM})"
-	if $REAL_INSTALL; then
+	if $REAL_INSTALL ; then
 		make install
 	else
@@ -511,5 +512,5 @@
 	
 	change_title "GCC: install (${PLATFORM})"
-	if $REAL_INSTALL; then
+	if $REAL_INSTALL ; then
 		PATH="${PATH}:${PREFIX}/bin" make install-gcc
 	else
@@ -556,5 +557,5 @@
 }
 
-while [ "$#" -gt 1 ]; do
+while [ "$#" -gt 1 ] ; do
 	case "$1" in
 		--no-install)
@@ -572,5 +573,5 @@
 done
 
-if [ "$#" -lt "1" ]; then
+if [ "$#" -lt "1" ] ; then
 	show_usage
 fi