diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/log.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 2cae6a636..19eb38c73 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -21,7 +21,7 @@ #include "libs/sha1/sha1.h" #include "backends/ilang/ilang_backend.h" -#ifndef _WIN32 +#if !defined(_WIN32) || defined(__MINGW32__) # include <sys/time.h> #endif @@ -51,7 +51,7 @@ static struct timeval initial_tv = { 0, 0 }; static bool next_print_log = false; static int log_newline_count = 0; -#ifdef _WIN32 +#if defined(_WIN32) && !defined(__MINGW32__) // this will get time information and return it in timeval, simulating gettimeofday() int gettimeofday(struct timeval *tv, struct timezone *tz) { |