X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Ffiledisk.c;h=f7fe7ec8c699061025ebb54f55844e4048e79c5b;hb=759c441577f2a3b1510f341eec122a993fdb7c9f;hp=629b4ed22c8c9fdb14767a16d5043bbb5d31a990;hpb=ba178554a5f6714e5ceb7b77df462ac72de90b0c;p=palacios.releases.git

diff --git a/palacios/src/devices/filedisk.c b/palacios/src/devices/filedisk.c
index 629b4ed..f7fe7ec 100644
--- a/palacios/src/devices/filedisk.c
+++ b/palacios/src/devices/filedisk.c
@@ -23,7 +23,7 @@
 #include <interfaces/vmm_file.h>
 #include <palacios/vm_guest.h>
 
-#ifndef CONFIG_DEBUG_FILEDISK
+#ifndef V3_CONFIG_DEBUG_FILEDISK
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif