diff -r 80098c869f5e -r ef8549b58b6f config/cc.in
--- a/config/cc.in	Tue Aug 05 13:27:09 2008 +0000
+++ b/config/cc.in	Sun Sep 14 16:21:07 2008 +0000
@@ -53,6 +53,8 @@
 config CC_SUPPORT_OBJCXX
     bool
 
+if ! BARE_METAL
+
 comment "Additional supported languages:"
 
 config CC_LANG_CXX
@@ -136,4 +138,10 @@
       Eg. gcc-4.1+ has a toy programming language, treelang. As it is not usefull
       in real life, it is not available in the selection above.
 
+endif # ! BARE_METAL
+
+if BARE_METAL
+comment "Only C language supported on bare metal"
+endif # BARE_METAL
+
 endmenu