Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision 1152c18db3e6083ca92547ae3cf11e293f89f363)
+++ tools/toolchain.sh	(revision 40eab9fdcc5233a31ae07d23360a0b5fc2e5c701)
@@ -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 =="