diff -r 41a84f7d3b4f -r ec1cffe6d30b config/libc.in
--- a/config/libc.in	Sat Jan 31 11:29:50 2009 +0000
+++ b/config/libc.in	Thu May 21 19:00:55 2009 +0000
@@ -4,8 +4,6 @@
     string
     default "none" if BARE_METAL
 
-if ! BARE_METAL
-
 menu "C-library"
 
 config LIBC_VERSION
@@ -64,5 +62,3 @@
 endchoice
 
 endmenu
-
-endif # ! BARE_METAL