1 files changed, 0 insertions, 65 deletions
diff --git a/otherlibs/unix/waitpid.c b/otherlibs/unix/waitpid.c
deleted file mode 100644
index 934bfc7c2..000000000
--- a/otherlibs/unix/waitpid.c
+++ /dev/null
@@ -1,65 +0,0 @@
-/***********************************************************************/
-/*                                                                     */
-/*                         Caml Special Light                          */
-/*                                                                     */
-/*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         */
-/*                                                                     */
-/*  Copyright 1995 Institut National de Recherche en Informatique et   */
-/*  Automatique.  Distributed only by permission.                      */
-/*                                                                     */
-/***********************************************************************/
-
-/* $Id$ */
-
-#include <mlvalues.h>
-#include <alloc.h>
-#include <memory.h>
-#include "unix.h"
-
-#ifdef HAS_WAITPID
-
-#include <sys/types.h>
-#include <sys/wait.h>
-
-static int wait_flag_table[] = {
-  WNOHANG, WUNTRACED
-};
-
-value unix_waitpid(flags, pid_req)
-     value flags, pid_req;
-{
-  int pid, status;
-  value res;
-  Push_roots(r, 1);
-#define st r[0]
-  
-  pid = waitpid(Int_val(pid_req), &status, 
-                convert_flag_list(flags, wait_flag_table));
-  if (pid == -1) uerror("waitpid", Nothing);
-  switch (status & 0xFF) {
-  case 0:
-    st = alloc(1, 0);
-    Field(st, 0) = Val_int((status >> 8) & 0xFF);
-    break;
-  case 0177:
-    st = alloc(1, 2);
-    Field(st, 0) = Val_int((status >> 8) & 0xFF);
-    break;
-  default:
-    st = alloc(2, 1);
-    Field(st, 0) = Val_int(status & 0x3F);
-    Field(st, 1) = status & 0200 ? Val_true : Val_false;
-    break;
-  }
-  res = alloc_tuple(2);
-  Field(res, 0) = Val_int(pid);
-  Field(res, 1) = st;
-  Pop_roots();
-  return res;
-}
-
-#else
-
-value unix_waitpid() { invalid_argument("waitpid not implemented"); }
-
-#endif