summaryrefslogtreecommitdiff
path: root/otherlibs/unix/closedir.c
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/unix/closedir.c')
-rw-r--r--otherlibs/unix/closedir.c15
1 files changed, 0 insertions, 15 deletions
diff --git a/otherlibs/unix/closedir.c b/otherlibs/unix/closedir.c
deleted file mode 100644
index 2701e51d6e..0000000000
--- a/otherlibs/unix/closedir.c
+++ /dev/null
@@ -1,15 +0,0 @@
-#include <mlvalues.h>
-#include "unix.h"
-#include <sys/types.h>
-#ifdef HAS_DIRENT
-#include <dirent.h>
-#else
-#include <sys/dir.h>
-#endif
-
-value unix_closedir(d) /* ML */
- value d;
-{
- closedir((DIR *) d);
- return Val_unit;
-}