Fixing gettimeofday include for MINGW32

a-a-maly · May 31, 2021 · a8d2df3 · a8d2df3
1 parent a9cbe75
commit a8d2df3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/kumir2-libs/stdlib/kmath.cpp b/src/kumir2-libs/stdlib/kmath.cpp
@@ -14,6 +14,10 @@
 #include <float.h>
 
 #include <time.h>
+#if !defined(_WIN32) || defined(__MINGW32__) 
+#include <sys/time.h>
+#endif
+
 #if !defined(APPLE) && !defined(__MINGW32__)
 #include <random>
 static std::random_device rd;