yann@1393: diff -durN gcc-4.4.0.orig/gcc/config/arm/linux-eabi.h gcc-4.4.0/gcc/config/arm/linux-eabi.h
yann@1393: --- gcc-4.4.0.orig/gcc/config/arm/linux-eabi.h	2007-11-08 14:44:09.000000000 +0100
yann@1393: +++ gcc-4.4.0/gcc/config/arm/linux-eabi.h	2009-05-27 21:38:26.000000000 +0200
yann@1393: @@ -44,7 +44,7 @@
yann@1393:     The ARM10TDMI core is the default for armv5t, so set
yann@1393:     SUBTARGET_CPU_DEFAULT to achieve this.  */
yann@1393:  #undef  SUBTARGET_CPU_DEFAULT
yann@1393: -#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm10tdmi
yann@1393: +#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm9tdmi
yann@1393:  
yann@1393:  /* TARGET_BIG_ENDIAN_DEFAULT is set in
yann@1393:     config.gcc for big endian configurations.  */