yann@1948: diff -durN gcc-4.4.4.orig/gcc/config/arm/linux-eabi.h gcc-4.4.4/gcc/config/arm/linux-eabi.h
yann@1948: --- gcc-4.4.4.orig/gcc/config/arm/linux-eabi.h	2007-11-08 14:44:09.000000000 +0100
yann@1948: +++ gcc-4.4.4/gcc/config/arm/linux-eabi.h	2010-05-16 19:13:00.000000000 +0200
yann@1948: @@ -44,7 +44,7 @@
yann@1948:     The ARM10TDMI core is the default for armv5t, so set
yann@1948:     SUBTARGET_CPU_DEFAULT to achieve this.  */
yann@1948:  #undef  SUBTARGET_CPU_DEFAULT
yann@1948: -#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm10tdmi
yann@1948: +#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm9tdmi
yann@1948:  
yann@1948:  /* TARGET_BIG_ENDIAN_DEFAULT is set in
yann@1948:     config.gcc for big endian configurations.  */