diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2015-07-31 16:40:05 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-08-10 20:31:59 +0200 |
| commit | 1c487048a796ae8b5c45b0ee2a3e4aa8d63dabe8 (patch) | |
| tree | f459aa0dcc405b00165e5c67abc66bbe7fa85726 /util/board_status | |
| parent | f1b7afb4a4b5a7afedfef1f03e28a1298874f553 (diff) | |
what-jenkins-does: Add building chromeos configurations
This prevents us from inadvertedly breaking Chrome OS' configurations.
They're built in addition to the normal configurations for each boards, to
accomodate all use cases on these devices.
Change-Id: I772a47dca8815f47c12f6fd4405ae28c7c997aa8
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: http://review.coreboot.org/11104
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'util/board_status')
0 files changed, 0 insertions, 0 deletions