Index: gcc/config.gcc
===================================================================
--- gcc/config.gcc	2011-07-20 21:59:49.000000000 +0100
+++ gcc/config.gcc	2011-07-20 21:59:52.000000000 +0100
@@ -1845,7 +1845,7 @@ mips*-*-linux*)				# Linux MIPS, either
         tm_file="dbxelf.h elfos.h gnu-user.h linux.h glibc-stdint.h ${tm_file} mips/gnu-user.h mips/linux.h"
 	tmake_file="${tmake_file} mips/t-libgcc-mips16"
 	if test x$enable_targets = xall; then
-		tm_file="${tm_file} mips/gnu-user.h mips/gnu-user64.h mips/linux64.h"
+		tm_file="${tm_file} mips/gnu-user64.h mips/linux64.h"
 		tmake_file="${tmake_file} mips/t-linux64"
 		tm_defines="${tm_defines} MIPS_ABI_DEFAULT=ABI_32"
 	fi