diff options
| -rw-r--r-- | util/x86emu/include/x86emu/x86emu.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/util/x86emu/include/x86emu/x86emu.h b/util/x86emu/include/x86emu/x86emu.h index a4b09e3f18..823f49772b 100644 --- a/util/x86emu/include/x86emu/x86emu.h +++ b/util/x86emu/include/x86emu/x86emu.h @@ -47,6 +47,9 @@ #include <console/console.h> #undef printk #define printk(x...) do_printk(BIOS_DEBUG, x) +#if defined(CONFIG_DEBUG) && (CONFIG_DEBUG == 0) +#undef CONFIG_DEBUG +#endif #else #define printk printf #endif |