| 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;
|
| }
|
|
|
|
|