# HG changeset patch
# User faust3
# Date 1049057331 0
# Node ID f5c4c9bb9451d1c69100f4804af71e4edfa7276d
# Parent  7e5d9bf1e56f07702f7750f3a4ea6ce8de94cfb0
MINGW32 port

diff -r 7e5d9bf1e56f -r f5c4c9bb9451 TOOLS/cpuinfo.c
--- a/TOOLS/cpuinfo.c	Sun Mar 30 20:37:54 2003 +0000
+++ b/TOOLS/cpuinfo.c	Sun Mar 30 20:48:51 2003 +0000
@@ -2,6 +2,18 @@
 #include <stdio.h>
 #include <sys/time.h>
 
+#ifdef __MINGW32__
+#include <sys/timeb.h>
+void gettimeofday(struct timeval* t,void* timezone)
+{       struct timeb timebuffer;
+        ftime( &timebuffer );
+        t->tv_sec=timebuffer.time;
+        t->tv_usec=1000*timebuffer.millitm;
+}
+#define MISSING_USLEEP
+#define sleep(t) _sleep(1000*t);
+#endif
+
 #ifdef M_UNIX
 typedef long long int64_t;
 #define	MISSING_USLEEP