diff options
| author | Julius Werner <jwerner@chromium.org> | 2016-08-15 16:14:15 -0700 |
|---|---|---|
| committer | Julius Werner <jwerner@chromium.org> | 2016-08-16 23:14:30 +0200 |
| commit | 4f79e6618519fa1aa8e8afaac57fc7dbfeeb4484 (patch) | |
| tree | bdace5ca1f898114d926b0f0e22b8b9819e81f58 /src/include/console/console.h | |
| parent | 4157bd8d61ad709a29072cb4505b3cc7463e515b (diff) | |
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@chromium.org>
Reviewed-on: https://review.coreboot.org/16230
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Diffstat (limited to 'src/include/console/console.h')
| -rw-r--r-- | src/include/console/console.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/console/console.h b/src/include/console/console.h index f0ab031582..202d47435b 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__ |