| commit | 1c487048a796ae8b5c45b0ee2a3e4aa8d63dabe8 | [log] [tgz] |
|---|---|---|
| author | Patrick Georgi <pgeorgi@google.com> | Fri Jul 31 16:40:05 2015 +0200 |
| committer | Patrick Georgi <pgeorgi@google.com> | Mon Aug 10 20:31:59 2015 +0200 |
| tree | f459aa0dcc405b00165e5c67abc66bbe7fa85726 | |
| 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)