+if CONFIG_DEVEL
+ comment "Gcc Options"
+endif
+
+
+# the choice option below is completely ignored
+# if CONFIG_DEVEL isn't set, so we have to set
+# these manually ... annoying.
+config BR2_GCC_VERSION_3_4_4
+ bool
+ default y if BR2_LINUX_2_4_BRCM
+
+config BR2_GCC_VERSION_4_0_3
+ bool
+ default y if BR2_LINUX_2_6_ARUBA || BR2_LINUX_2_6_XSCALE
+
+config BR2_GCC_VERSION_4_1_0
+ bool