Replaced "#ifdef WIN32" with "#ifdef _WIN32"

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 4210d7ca46ed7d3beb256347eea79a01e8acff33..8a093904386f8a3fb97c05d73d18c3ce71494313 100644 (file)
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -269,7 +269,7 @@ int main(int argc, char **argv)
                log_hasher = nullptr;
 
                log_spacer();
-#ifdef WIN32
+#ifdef _WIN32
                log("End of script. Logfile hash: %s\n", hash.c_str());
 #else
                struct rusage ru_buffer;

diff --git a/kernel/log.h b/kernel/log.h
index 4514c420b24687faab80cd3bce7e59b2ad1718dc..b4182b5f3921b76bb46e66f18797ba8e281cc03f 100644 (file)
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -25,7 +25,7 @@
 #include <time.h>
 #include <sys/time.h>
 
-#ifndef WIN32
+#ifndef _WIN32
 #  include <sys/resource.h>
 #endif
 
@@ -157,7 +157,7 @@ struct PerformanceTimer
                t = 1000000000ULL * (int64_t) rusage.ru_utime.tv_sec + (int64_t) rusage.ru_utime.tv_usec * 1000ULL;
                t += 1000000000ULL * (int64_t) rusage.ru_stime.tv_sec + (int64_t) rusage.ru_stime.tv_usec * 1000ULL;
                return t;
-#elif WIN32
+#elif _WIN32
                return 0;
 #else
        #error Dont know how to measure per-process CPU time. Need alternative method (times()/clocks()/gettimeofday()?).
@@ -196,7 +196,7 @@ static inline void log_dump_val_worker(int v) { log("%d", v); }
 static inline void log_dump_val_worker(unsigned int v) { log("%u", v); }
 static inline void log_dump_val_worker(long int v) { log("%ld", v); }
 static inline void log_dump_val_worker(unsigned long int v) { log("%lu", v); }
-#ifndef WIN32
+#ifndef _WIN32
 static inline void log_dump_val_worker(long long int v) { log("%lld", v); }
 static inline void log_dump_val_worker(unsigned long long int v) { log("%lld", v); }
 #endif