Index: src/core/model/wall-clock-synchronizer.cc |
=================================================================== |
--- a/src/core/model/wall-clock-synchronizer.cc |
+++ b/src/core/model/wall-clock-synchronizer.cc |
@@ -18,8 +18,12 @@ |
#include <ctime> // clock_t |
+#ifndef _WIN32 |
#include <sys/time.h> // gettimeofday |
// clock_getres: glibc < 2.17, link with librt |
+#else |
+#include "win32-time.h" |
+#endif |
#include "log.h" |
#include "system-condition.h" |
@@ -329,7 +333,9 @@ |
} |
} |
// Quiet compiler |
+#ifndef _WIN32 |
return true; |
+#endif |
} |
bool |