From e0935bb405f0a6081305bf7b146b4c52615dc65f Mon Sep 17 00:00:00 2001
From: Patrick Georgi <pgeorgi@google.com>
Date: Sat, 28 Mar 2015 15:49:46 +0100
Subject: [PATCH] build system: mips is a valid nickname for mipsel

Change-Id: I5829a96cbb0af0398113efbdf34dfa3d102bf4c8
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: http://review.coreboot.org/9146
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Aaron Durbin <adurbin@google.com>
Tested-by: build bot (Jenkins)
---
 util/xcompile/xcompile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/util/xcompile/xcompile b/util/xcompile/xcompile
index fc221b1f4d..5809ec0890 100755
--- a/util/xcompile/xcompile
+++ b/util/xcompile/xcompile
@@ -209,10 +209,11 @@ arch_config_x86() {
 }
 
 arch_config_mipsel() {
-	TARCH="mipsel"
+	TARCH="mips"
 	TBFDARCHS="tradlittlemips littlemips"
 	TCLIST="mipsel"
 	TWIDTH="32"
+	TSUPP="mips mipsel"
 	TABI="elf"
 }