X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fserial.c;h=f0d405d06df29f99883c13c8023a0bc9ceed6d74;hb=693d2dbe9d861e7b9144282eb0d24cc98ab9a35e;hp=0efb5cc4706bb7df030bd67044dce07ebc832b5e;hpb=4002d7a3ba2e3d25122dc9c43928b15d49ede6de;p=palacios-OLD.git

diff --git a/palacios/src/devices/serial.c b/palacios/src/devices/serial.c
index 0efb5cc..f0d405d 100644
--- a/palacios/src/devices/serial.c
+++ b/palacios/src/devices/serial.c
@@ -31,7 +31,7 @@
 #include <devices/serial.h>
 
 
-#ifndef CONFIG_DEBUG_SERIAL
+#ifndef V3_CONFIG_DEBUG_SERIAL
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif