Commit a8d2df3e authored by Alexander A. Maly's avatar Alexander A. Maly

Fixing gettimeofday include for MINGW32

parent a9cbe751
Pipeline #3594 passed with stages
in 4 minutes
......@@ -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;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment