Prepare for using coreboot x86emu in userspace utility "vgabios"

[coreboot.git] / src / devices / oprom / x86emu / debug.h

diff --git a/src/devices/oprom/x86emu/debug.h b/src/devices/oprom/x86emu/debug.h
index 7aac995cc36bf06ba921a761506fbf805cd709fb..ba180bab40febbda5df0a953bfec08e81bbd1066 100644 (file)
--- a/src/devices/oprom/x86emu/debug.h
+++ b/src/devices/oprom/x86emu/debug.h
@@ -42,8 +42,10 @@
 
 /*---------------------- Macros and type definitions ----------------------*/
 
+#ifdef CONFIG_DEFAULT_CONSOLE_LOGLEVEL
 /* printf is not available in coreboot... use printk */
 #define printf(x...) printk(BIOS_DEBUG, x)
+#endif
 
 /* checks to be enabled for "runtime" */