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