Make an own iceccd-toolchain for each target.

diff --git a/tools/make-cluster b/tools/make-cluster
index 9e02e4d10c37efe02e837824a2de16291486cb0c..d2f58baa44b7460334b9fd2039aefec4d28fb354 100644 (file)
--- a/tools/make-cluster
+++ b/tools/make-cluster
@@ -87,7 +87,7 @@ function icecc_enable() {
 function icecc_use() {
        local stage=${1}
        local options
-       local file=${TOOLS_DIR}/${SNAME}-${TOOLCHAINVERSION}-${stage}.tar.gz
+       local file=${TOOLS_DIR}/${SNAME}-${TOOLCHAINVERSION}-${stage}-${TARGET}.tar.gz
 
        case "${stage}" in
                toolchain)