Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision 1152c18db3e6083ca92547ae3cf11e293f89f363)
+++ tools/toolchain.sh	(revision d76862d0a73201d8cd706af4402d846671cb29c7)
@@ -142,5 +142,5 @@
 	for PLATFORM in $PLATFORMS ; do
 		set_target_from_platform "$PLATFORM"
-		PREFIX="${CROSS_PREFIX}/bin/${HELENOS_TARGET}"
+		PREFIX="${CROSS_PREFIX}/bin/${TARGET}"
 
 		echo "== $PLATFORM =="