diff -r aa1d248fa51b -r 0c05f9ea3254 config/cc.in
--- a/config/cc.in	Sun May 13 21:11:27 2007 +0000
+++ b/config/cc.in	Wed Aug 15 10:14:43 2007 +0000
@@ -2,47 +2,9 @@
 
 menu "C compiler"
 
-comment "Core C Compiler (used to build the C library)"
-
-config CC_USE_CORE
-    bool
-    prompt "Use a different core C compiler"
-    default n
-    help
-      Use a different compiler to build the C library than the one
-      in the final toolchain.
-      
-      You can change the compiler used, or only the version used.
-
-      You most probably don't need that.
-
 choice
     bool
-    prompt "Core C compiler:"
-    depends on CC_USE_CORE
-
-config CC_CORE_GCC
-    bool
-    prompt "gcc"
-
-endchoice
-
-config CC_CORE_VERSION
-    string
-
-config CC_CORE
-    string
-    default "gcc" if CC_CORE_GCC
-
-if CC_CORE_GCC && CC_USE_CORE
-source config/cc_core_gcc.in
-endif
-
-comment "Final C compiler"
-
-choice
-    bool
-    prompt "Final C compiler"
+    prompt "C compiler flavour"
     default CC_GCC
 
 config CC_GCC
@@ -54,6 +16,11 @@
     select CC_SUPPORT_ADA
     select CC_SUPPORT_OBJC
     select CC_SUPPORT_OBJCXX
+    help
+      gcc is the full-blown GNU compiler. This is what most people will choose.
+      
+      gcc sports lots of languages, powerfull code parser, optimised binary output,
+      and lots of other features.
 
 endchoice