arm-android9-linux-androideabi@linux-unknown-arm
		i586-mingw32msvc@win32-ix86
		x86_64-w64-mingw32@win32-x86_64
		x86_64-redhat5-linux@linux-glibc2.5-x86_64
		powerpc-ibm-aix5.3.0.0@aix-powerpc
	)
else
	platforms="$@"
	platforms=("$@")
fi

for platform in "${platforms[@]}"; do
	echo "  * Building for ${platform}"
	cc_platform="$(echo "${platform}" | cut -f 1 -d '@')"
	tcl_platform="$(echo "${platform}" | cut -f 2 -d '@')"
	opts=''