[MLton-commit] r5496

[Matthew Fluet]

Patch from Nicolas Bertolotti (PolySpace).

- evol-getpid-mingw.patch

This patch enables the getpid() function which exists on Windows


----------------------------------------------------------------------

U   mlton/trunk/basis-library/posix/stub-mingw.sml

----------------------------------------------------------------------

Modified: mlton/trunk/basis-library/posix/stub-mingw.sml
===================================================================
--- mlton/trunk/basis-library/posix/stub-mingw.sml	2007-04-05 13:52:06 UTC (rev 5495)
+++ mlton/trunk/basis-library/posix/stub-mingw.sml	2007-04-09 15:08:44 UTC (rev 5496)
@@ -83,7 +83,6 @@
                      val getgroups = stub ("getgroups", getgroups)
                      val getlogin = stub ("getlogin", getlogin)
                      val getpgrp = stub ("getpgrp", getpgrp)
-                     val getpid = stub ("getpid", getpid)
                      val getppid = stub ("getppid", getppid)
                      val getuid = stub ("getuid", getuid)
                      val setgid = stub ("setgid", setgid)