This patch is from 2009-10-20
[coreboot.git] / util / x86emu / include / x86emu / fpu_regs.h
index 56e9a04d75c18f2df72d1dd2e03f365faeb20b60..7c7df8562bd6f63629b4ca8c04ae405eef65800d 100644 (file)
@@ -102,7 +102,7 @@ struct x86_fpu_registers {
 
 #endif /* X86_FPU_SUPPORT */
 
-#ifdef DEBUG
+#if CONFIG_X86EMU_DEBUG
 # define DECODE_PRINTINSTR32(t,mod,rh,rl)      \
        DECODE_PRINTF(t[(mod<<3)+(rh)]);
 # define DECODE_PRINTINSTR256(t,mod,rh,rl)     \