SVN-Revision: 15230
@@ -6,7 +6,7 @@ choice
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_3_3 if TARGET_ps3
+ default GCC_VERSION_4_2_4 if TARGET_ps3_petitboot
default GCC_VERSION_4_1_2
help
Select the version of gcc you wish to use.
@@ -40,7 +40,5 @@ if !TOOLCHAINOPTS
default y if TARGET_avr32
default y if TARGET_ppc40x
default y if TARGET_ppc44x
-
- config GCC_VERSION_4_3_3
- default y if TARGET_ps3
+ default y if TARGET_ps3_petitboot
endif