# HG changeset patch
# User reimar
# Date 1165759467 0
# Node ID ababf115f90d973f5375e25db9ca9e27fb054e1c
# Parent  77ec48709f362a38fa9e9e1f8dca85e0cb59ba96
Avoid deprecated _sleep, instead include windows.h and use Sleep just like
osdep/timer-win2.c does.
Patch by Zuxy Meng [zuxy meng (at) gmail com]

diff -r 77ec48709f36 -r ababf115f90d TOOLS/cpuinfo.c
--- a/TOOLS/cpuinfo.c	Sun Dec 10 13:17:54 2006 +0000
+++ b/TOOLS/cpuinfo.c	Sun Dec 10 14:04:27 2006 +0000
@@ -19,7 +19,8 @@
 #endif
 #ifdef __MINGW32__
 #define MISSING_USLEEP
-#define sleep(t) _sleep(1000*t);
+#include <windows.h>
+#define sleep(t) Sleep(1000*t);
 #endif
 
 #ifdef __BEOS__