[coreboot-gerrit] Patch set updated for coreboot: console: Change CONFIG_CHROMEOS requirement from do_printk_va_list()

[Julius Werner (jwerner@chromium.org)]

Julius Werner (jwerner at chromium.org) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/16230

-gerrit

commit 60b91099fa57fc70522a078c49bf4575d83f9872
Author: Julius Werner <jwerner at chromium.org>
Date:   Mon Aug 15 16:14:15 2016 -0700

    console: Change CONFIG_CHROMEOS requirement from do_printk_va_list()
    
    CONFIG_VBOOT was recently moved to be independent from CONFIG_CHROMEOS.
    Change the code guard for do_printk_va_list() accordingly, since it's
    used by vboot (not Chrome OS) code.
    
    Change-Id: I44e868d2fd8e1368eeda2f10a35d0a2bd7259759
    Signed-off-by: Julius Werner <jwerner at chromium.org>
---
 src/include/console/console.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/include/console/console.h b/src/include/console/console.h
index f0ab031..202d474 100644
--- a/src/include/console/console.h
+++ b/src/include/console/console.h
@@ -60,7 +60,7 @@ static inline void printk(int LEVEL, const char *fmt, ...) {}
 static inline void do_putchar(unsigned char byte) {}
 #endif
 
-#if CONFIG_CHROMEOS
+#if IS_ENABLED(CONFIG_VBOOT)
 /* FIXME: Collision of varargs with AMD headers without guard. */
 #include <console/vtxprintf.h>
 #if __CONSOLE_ENABLE__