[coreboot-gerrit] Patch merged into coreboot/master: 04f5c4e Build without ChromeOS

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 04f5c4eca770641ec8e7090e0f0cd41906b94b07
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Thu Oct 17 16:38:56 2013 +0300

    Build without ChromeOS
    
    Change-Id: I1da636573eed62ce693b984917084643787c094b
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>
    Reviewed-on: http://review.coreboot.org/3978
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin <adurbin at google.com>
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


See http://review.coreboot.org/3978 for details.

-gerrit