Index: utility/dump_kernel_config.c |
diff --git a/utility/dump_kernel_config.c b/utility/dump_kernel_config.c |
index d4c44f621d1b70cf21bfbc0f94ec60df34100036..4decc7de41a712f346e12417d70381c7d61c079a 100644 |
--- a/utility/dump_kernel_config.c |
+++ b/utility/dump_kernel_config.c |
@@ -75,7 +75,7 @@ static void* MapFile(const char *filename, size_t *size) { |
f = fopen(filename, "rb"); |
if (!f) { |
- debug("Unable to open file %s\n", filename); |
+ VBDEBUG(("Unable to open file %s\n", filename)); |
return NULL; |
} |