| Index: host/lib/host_misc.c
|
| diff --git a/host/lib/host_misc.c b/host/lib/host_misc.c
|
| index 2620df7a98e444ebdd3e96e20277019c112768c5..d8f52970202ff83e4a9e920453c96d6ddc98fe61 100644
|
| --- a/host/lib/host_misc.c
|
| +++ b/host/lib/host_misc.c
|
| @@ -24,7 +24,7 @@ uint8_t* ReadFile(const char* filename, uint64_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;
|
| }
|
|
|
| @@ -39,7 +39,7 @@ uint8_t* ReadFile(const char* filename, uint64_t* size) {
|
| }
|
|
|
| if(1 != fread(buf, *size, 1, f)) {
|
| - debug("Unable to read from file %s\n", filename);
|
| + VBDEBUG(("Unable to read from file %s\n", filename));
|
| fclose(f);
|
| Free(buf);
|
| return NULL;
|
| @@ -53,12 +53,12 @@ uint8_t* ReadFile(const char* filename, uint64_t* size) {
|
| int WriteFile(const char* filename, const void *data, uint64_t size) {
|
| FILE *f = fopen(filename, "wb");
|
| if (!f) {
|
| - debug("Unable to open file %s\n", filename);
|
| + VBDEBUG(("Unable to open file %s\n", filename));
|
| return 1;
|
| }
|
|
|
| if (1 != fwrite(data, size, 1, f)) {
|
| - debug("Unable to write to file %s\n", filename);
|
| + VBDEBUG(("Unable to write to file %s\n", filename));
|
| fclose(f);
|
| unlink(filename); /* Delete any partial file */
|
| }
|
|
|