diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2015-03-28 15:49:46 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-03-30 21:42:40 +0200 |
| commit | e0935bb405f0a6081305bf7b146b4c52615dc65f (patch) | |
| tree | e8452e34fc36bb8f19ffa8f55e1cd3ffa3981ddd /.gitreview | |
| parent | 9b0584677f22429b9c14b920d56219c07dab56bd (diff) | |
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)
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions