yann@1525: --- gcc-4.3.2.orig/gcc/config/arm/linux-eabi.h	2009-09-08 23:46:44.000000000 +0200
yann@1525: +++ gcc-4.3.2/gcc/config/arm/linux-eabi.h	2009-09-08 23:46:51.000000000 +0200
yann@1525: @@ -44,7 +44,7 @@
yann@1525:     The ARM10TDMI core is the default for armv5t, so set
yann@1525:     SUBTARGET_CPU_DEFAULT to achieve this.  */
yann@1525:  #undef  SUBTARGET_CPU_DEFAULT
yann@1525: -#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm10tdmi
yann@1525: +#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm9tdmi
yann@1525:  
yann@1525:  /* TARGET_BIG_ENDIAN_DEFAULT is set in
yann@1525:     config.gcc for big endian configurations.  */