yann@2149: diff -durN gcc-4.4.5.orig/gcc/config/arm/linux-eabi.h gcc-4.4.5/gcc/config/arm/linux-eabi.h
yann@2149: --- gcc-4.4.5.orig/gcc/config/arm/linux-eabi.h	2007-11-08 14:44:09.000000000 +0100
yann@2149: +++ gcc-4.4.5/gcc/config/arm/linux-eabi.h	2010-10-09 23:01:59.000000000 +0200
yann@2149: @@ -44,7 +44,7 @@
yann@2149:     The ARM10TDMI core is the default for armv5t, so set
yann@2149:     SUBTARGET_CPU_DEFAULT to achieve this.  */
yann@2149:  #undef  SUBTARGET_CPU_DEFAULT
yann@2149: -#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm10tdmi
yann@2149: +#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm9tdmi
yann@2149:  
yann@2149:  /* TARGET_BIG_ENDIAN_DEFAULT is set in
yann@2149:     config.gcc for big endian configurations.  */