diff options
Diffstat (limited to 'otherlibs/unix/fchmod.c')
| -rw-r--r-- | otherlibs/unix/fchmod.c | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/otherlibs/unix/fchmod.c b/otherlibs/unix/fchmod.c deleted file mode 100644 index fd74353c0a..0000000000 --- a/otherlibs/unix/fchmod.c +++ /dev/null @@ -1,17 +0,0 @@ -#include <mlvalues.h> -#include "unix.h" - -#ifdef HAS_FCHMOD - -value unix_fchmod(fd, perm) /* ML */ - value fd, perm; -{ - if (fchmod(Int_val(fd), Int_val(perm)) == -1) uerror("fchmod", Nothing); - return Val_unit; -} - -#else - -value unix_fchmod() { invalid_argument("fchmod not implemented"); } - -#endif |