diff options
| author | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2013-10-17 16:38:25 +0300 |
|---|---|---|
| committer | Alexandru Gagniuc <mr.nuke.me@gmail.com> | 2013-12-02 22:28:54 +0100 |
| commit | b1b9c93f7c4deb1db7eccfe001d8ef146052d3eb (patch) | |
| tree | 345ce6994c2912011c583e1fdd100edf4bf6351b /src/console/Makefile.inc | |
| parent | 161e9cc56b6009068a2b690f0d5d073bbb228acc (diff) | |
Add option to disable ChromeOS
Those building Chromebook firmware from coreboot git might be more
interested in building without ChromeOS extras.
Change-Id: I2f176d059fd45bf4eb02cc0f3f1dcc353095d0ce
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: http://review.coreboot.org/3977
Tested-by: build bot (Jenkins)
Reviewed-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>
Diffstat (limited to 'src/console/Makefile.inc')
0 files changed, 0 insertions, 0 deletions