diff options
| -rw-r--r-- | src/console/printk.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/console/printk.c b/src/console/printk.c index 855c841284..2f7e27719b 100644 --- a/src/console/printk.c +++ b/src/console/printk.c @@ -79,7 +79,7 @@ int do_printk(int msg_level, const char *fmt, ...) return i; } -#if IS_ENABLED (CONFIG_CHROMEOS) +#if IS_ENABLED (CONFIG_VBOOT) void do_printk_va_list(int msg_level, const char *fmt, va_list args) { if (!console_log_level(msg_level)) @@ -87,4 +87,4 @@ void do_printk_va_list(int msg_level, const char *fmt, va_list args) vtxprintf(wrap_putchar, fmt, args, NULL); console_tx_flush(); } -#endif /* CONFIG_CHROMEOS */ +#endif /* CONFIG_VBOOT */ |