blob: 2d1aaa9be88326e66bedb6778eeba87a2a660836 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
--- runtime/platform/mingw.c.orig 2008-04-27 11:10:10.000000000 +1000
+++ runtime/platform/mingw.c 2008-04-27 11:10:33.000000000 +1000
@@ -54,40 +54,6 @@
}
/* ------------------------------------------------- */
-/* Date */
-/* ------------------------------------------------- */
-
-#ifndef __GNUC__
-#define EPOCHFILETIME (116444736000000000i64)
-#else
-#define EPOCHFILETIME (116444736000000000LL)
-#endif
-
-/* Based on notes by Wu Yongwei:
- * http://mywebpage.netscape.com/yongweiwutime.htm
- */
-int gettimeofday (struct timeval *tv, struct timezone *tz) {
- FILETIME ft;
- LARGE_INTEGER li;
- __int64 t;
- static bool tzInit = FALSE;
-
- unless (tzInit) {
- tzInit = TRUE;
- _tzset();
- }
- GetSystemTimeAsFileTime (&ft);
- li.LowPart = ft.dwLowDateTime;
- li.HighPart = ft.dwHighDateTime;
- t = li.QuadPart;
- t -= EPOCHFILETIME;
- t /= 10;
- tv->tv_sec = (long)(t / 1000000);
- tv->tv_usec = (long)(t % 1000000);
- return 0;
-}
-
-/* ------------------------------------------------- */
/* MLton.Itimer */
/* ------------------------------------------------- */
|