Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision 59d469ba2842fa89bbcd8dde1d903d034c8994c8)
+++ tools/toolchain.sh	(revision 4792e74a9ab9ddcfba855856509e3d068c038e81)
@@ -504,5 +504,5 @@
 		( set -x ; sudo -k cp -r -t "${CROSS_PREFIX}" "${INSTALL_DIR}${CROSS_PREFIX}/"* )
 	else
-		cp -r -t "${CROSS_PREFIX}" "${INSTALL_DIR}${CROSS_PREFIX}/"*
+		( set -x ; cp -r -t "${CROSS_PREFIX}" "${INSTALL_DIR}${CROSS_PREFIX}/"* )
 	fi
 }