1 files changed, 43 insertions, 0 deletions
diff --git a/lang/mlton/files/patch-runtime-mingw.c b/lang/mlton/files/patch-runtime-mingw.c
new file mode 100644
index 000000000000..2d1aaa9be883
--- /dev/null
+++ b/lang/mlton/files/patch-runtime-mingw.c
@@ -0,0 +1,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                    */
+ /* ------------------------------------------------- */
+