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
1c48704 what-jenkins-does: Add building chromeos configurations
Makefile.inc | 2 ++
1 file changed, 2 insertions(+)
Upstream: review.coreboot.org