diff -r f5e7ce8f5793 -r 965237500806 samples/arm-unknown-linux-gnu/crosstool.config
--- a/samples/arm-unknown-linux-gnu/crosstool.config	Tue Mar 31 17:05:01 2009 +0000
+++ b/samples/arm-unknown-linux-gnu/crosstool.config	Sun Apr 19 16:38:30 2009 +0000
@@ -32,8 +32,6 @@
 #
 # CT_FORBID_DOWNLOAD is not set
 # CT_FORCE_DOWNLOAD is not set
-# CT_USE_PROXY is not set
-CT_PROXY_TYPE="none"
 CT_USE_MIRROR=y
 # CT_PREFER_MIRROR is not set
 CT_MIRROR_HTTP=y