needed for compilation on windows. not really used because of platform::walltime()

2021-10-08 13:58:08 -04:00
parent 6e8da80148
commit 46efae5998
1 changed files with 6 additions and 0 deletions
--- a/src/STUBS/mpi.cpp
+++ b/src/STUBS/mpi.cpp
@ -21,7 +21,13 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
+
+#if defined(_WIN32)
+#define WIN32_LEAN_AND_MEAN
+#include <windows.h>
+#else
 #include <sys/time.h>
+#endif

 /* data structure for double/int */