[MLton-commit] r4132

[Stephen Weeks]

Added setgroups stub for MinGW.

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

U   mlton/trunk/basis-library/posix/stub-mingw.sml
U   mlton/trunk/runtime/platform/mingw.c
U   mlton/trunk/runtime/platform/mingw.h

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

Modified: mlton/trunk/basis-library/posix/stub-mingw.sml
===================================================================
--- mlton/trunk/basis-library/posix/stub-mingw.sml	2005-11-02 20:16:40 UTC (rev 4131)
+++ mlton/trunk/basis-library/posix/stub-mingw.sml	2005-11-02 23:33:24 UTC (rev 4132)
@@ -73,6 +73,7 @@
                val getppid = stub ("getppid", getppid)
                val getuid = stub ("getuid", getuid)
                val setgid = stub ("setgid", setgid)
+               val setgroups = stub ("stegroups", setgroups)
                val setpgid = stub ("setpgid", setpgid)
                val setsid = stub ("setsid", setsid)
                val setuid = stub ("setuid", setuid)

Modified: mlton/trunk/runtime/platform/mingw.c
===================================================================
--- mlton/trunk/runtime/platform/mingw.c	2005-11-02 20:16:40 UTC (rev 4131)
+++ mlton/trunk/runtime/platform/mingw.c	2005-11-02 23:33:24 UTC (rev 4132)
@@ -341,6 +341,11 @@
 int setgid (gid_t gid) {
         die ("setgid not implemented");
 }
+
+int setgroups (size_t size, gid_t *list) {
+        die ("setgroups not implemented");
+}
+
 int setpgid (pid_t pid, pid_t pgid) {
         die ("setpgid not implemented");
 }

Modified: mlton/trunk/runtime/platform/mingw.h
===================================================================
--- mlton/trunk/runtime/platform/mingw.h	2005-11-02 20:16:40 UTC (rev 4131)
+++ mlton/trunk/runtime/platform/mingw.h	2005-11-02 23:33:24 UTC (rev 4132)
@@ -262,6 +262,7 @@
 uid_t getuid (void);
 int setenv (const char *name, const char *value, int overwrite);
 int setgid (gid_t gid);
+int setgroups (size_t size, gid_t *list);
 int setpgid (pid_t pid, pid_t pgid);
 pid_t setsid (void);
 int setuid (uid_t uid);