Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/9146
-gerrit
commit 9a9ca63c0c082870b2a11604c81dfc534e65a986 Author: Patrick Georgi pgeorgi@google.com Date: Sat Mar 28 15:49:46 2015 +0100
build system: mips is a valid nickname for mipsel
Change-Id: I5829a96cbb0af0398113efbdf34dfa3d102bf4c8 Signed-off-by: Patrick Georgi pgeorgi@google.com --- util/xcompile/xcompile | 1 + 1 file changed, 1 insertion(+)
diff --git a/util/xcompile/xcompile b/util/xcompile/xcompile index fc221b1..288f6f9 100755 --- a/util/xcompile/xcompile +++ b/util/xcompile/xcompile @@ -213,6 +213,7 @@ arch_config_mipsel() { TBFDARCHS="tradlittlemips littlemips" TCLIST="mipsel" TWIDTH="32" + TSUPP="mips" TABI="elf" }