Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision a36c4aa60172d48878363da38c12f612d1b71d17)
+++ tools/toolchain.sh	(revision 113fb4f7d41823fcc1ee75be3d89b3ccb0cb247e)
@@ -258,5 +258,5 @@
 		( set -x ; sudo -k mkdir -p "${CROSS_PREFIX}" )
 	else
-		mkdir -p "${CROSS_PREFIX}"
+		( set -x ; mkdir -p "${CROSS_PREFIX}" )
 	fi
 
@@ -459,7 +459,7 @@
 	if $SYSTEM_INSTALL ; then
 		ring_bell
-		( set -x ; sudo -k cp -r -t "${CROSS_PREFIX}" "${INSTALL_DIR}${CROSS_PREFIX}/"* )
+		( set -x ; tar -C "${INSTALL_DIR}${CROSS_PREFIX}" -cpf - . | sudo -k tar -C "${CROSS_PREFIX}" -xpf - )
 	else
-		( set -x ; cp -r -t "${CROSS_PREFIX}" "${INSTALL_DIR}${CROSS_PREFIX}/"* )
+		( set -x ; tar -C "${INSTALL_DIR}${CROSS_PREFIX}" -cpf - . | tar -C "${CROSS_PREFIX}" -xpf - )
 	fi
 }