diff -r 509cc4c634f3 -r 366bd2b22675 config/global/download.in
--- a/config/global/download.in	Sun Jan 31 12:39:42 2010 +0100
+++ b/config/global/download.in	Thu Aug 05 17:59:51 2010 +0200
@@ -27,7 +27,7 @@
       
       Usefull if you suspect a tarball to be damaged.
 
-menuconfig USE_MIRROR
+config USE_MIRROR
     bool
     prompt "Use a mirror"
     default n