+ prompt "GCC compiler Version" if TOOLCHAINOPTS
+ default GCC_VERSION_3_4_6 if LINUX_2_4
+ default GCC_VERSION_4_2_4 if TARGET_avr32
+ default GCC_VERSION_4_2_4 if TARGET_ppc40x
+ default GCC_VERSION_4_2_4 if TARGET_ppc44x
+ default GCC_VERSION_4_2_4 if TARGET_ps3_petitboot
+ default GCC_VERSION_4_1_2