Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision 1170cfc70c2aa7932fed750ddf238fbb29481f55)
+++ 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 =="