diff options
author | Patrick Georgi <patrick@georgi-clan.de> | 2013-12-29 18:45:23 +0100 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-04-16 08:20:06 +0200 |
commit | 9b0de7145927f0158de3fe526ff34e298fdae793 (patch) | |
tree | 0809c8760e1c44bca229461ff0070ad6631066d4 /util | |
parent | 34195beed12dd91805c9e7beb1d49038ecf123b6 (diff) |
buildsystem: check for coreboot toolchain by default
Other toolchains just don't cut it.
Change-Id: I7a0bdf60d89b5166c9a22c9e9f3f326b28f777b8
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/4584
Tested-by: build bot (Jenkins)
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions