diff -r 8e2f6d70e858 -r 7b3e8b8d392e samples/arm-unknown-elf/crosstool.config --- a/samples/arm-unknown-elf/crosstool.config Sun Oct 26 11:26:27 2008 +0000 +++ b/samples/arm-unknown-elf/crosstool.config Fri Oct 31 18:27:27 2008 +0000 @@ -33,7 +33,13 @@ # CT_FORCE_DOWNLOAD is not set # CT_USE_PROXY is not set CT_PROXY_TYPE="none" -# CT_USE_LAN_MIRROR is not set +CT_USE_MIRROR=y +# CT_PREFER_MIRROR is not set +CT_MIRROR_HTTP=y +# CT_MIRROR_FTP is not set +CT_MIRROR_SCHEME="http" +CT_MIRROR_HOSTNAME="ymorin.is-a-geek.org" +CT_MIRROR_BASE="/mirrors" CT_CONNECT_TIMEOUT=10 # CT_ONLY_DOWNLOAD is not set