diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-08-19 13:53:20 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-08-19 13:53:20 +0000 |
| commit | edcb1520b28bdeba6a49576e04ce105b978b945f (patch) | |
| tree | 46cd18302c1185221d5c698c33ae6ab9b54435ed /otherlibs | |
| parent | b19ada25b9e5d4fa1bcd40003ebf2942bbc81e0b (diff) | |
Ajout de chmod (requete de Trevor Jim)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/win32unix/Makefile.nt | 2 | ||||
| -rw-r--r-- | otherlibs/win32unix/unix.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/win32unix/Makefile.nt b/otherlibs/win32unix/Makefile.nt index ec0d4be43..f6fe46bba 100644 --- a/otherlibs/win32unix/Makefile.nt +++ b/otherlibs/win32unix/Makefile.nt @@ -17,7 +17,7 @@ WIN_OBJS = accept.obj bind.obj channels.obj close.obj \ unixsupport.obj windir.obj winwait.obj write.obj # Files from the ..\unix directory -UNIX_FILES = access.c addrofstr.c chdir.c cst2constr.c \ +UNIX_FILES = access.c addrofstr.c chdir.c chmod.c cst2constr.c \ cstringv.c envir.c errmsg.c execv.c execve.c execvp.c \ exit.c getcwd.c gethost.c gethostname.c getproto.c \ getserv.c gmtime.c putenv.c rename.c rmdir.c \ diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml index 0870304df..c85fcafd2 100644 --- a/otherlibs/win32unix/unix.ml +++ b/otherlibs/win32unix/unix.ml @@ -260,7 +260,7 @@ type access_permission = | X_OK | F_OK -let chmod file perm = invalid_arg "Unix.chmod not implemented" +external chmod : string -> file_perm -> unit = "unix_chmod" let fchmod fd perm = invalid_arg "Unix.fchmod not implemented" let chown file perm = invalid_arg "Unix.chown not implemented" let fchown fd perm = invalid_arg "Unix.fchown not implemented" |