[coreboot-gerrit] Patch merged into coreboot/master: e0935bb build system: mips is a valid nickname for mipsel

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit e0935bb405f0a6081305bf7b146b4c52615dc65f
Author: Patrick Georgi <pgeorgi at 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 at google.com>
    Reviewed-on: http://review.coreboot.org/9146
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Aaron Durbin <adurbin at google.com>
    Tested-by: build bot (Jenkins)


See http://review.coreboot.org/9146 for details.

-gerrit