Use a more accurate timer to sleep on Linux systems.

This commit is contained in:
Benoit Steiner 2016-12-09 15:12:24 -08:00
parent 4deafd35b7
commit 76fca22134

View File

@ -53,8 +53,10 @@
#if EIGEN_OS_WIN || EIGEN_OS_WIN64
#define EIGEN_SLEEP(n) Sleep(n)
#elif EIGEN_OS_GNULINUX
#define EIGEN_SLEEP(n) usleep(n * 1000);
#else
#define EIGEN_SLEEP(n) sleep(n*1000)
#define EIGEN_SLEEP(n) sleep(std::max<unsigned>(1, n/1000))
#endif
#endif