This commit was manufactured by cvs2svn to create branchunlabeled-1.2.2

'unlabeled-1.2.2'.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unlabeled-1.2.2@37 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 0 insertions, 20 deletions

diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c
deleted file mode 100644
index a552d0931c..0000000000
--- a/otherlibs/unix/kill.c
+++ /dev/null
@@ -1,20 +0,0 @@
-#include <mlvalues.h>
-#include <fail.h>
-#include "unix.h"
-#include <signal.h>
-
-extern int posix_signals[];     /* defined in byterun/signals.c */
-
-value unix_kill(pid, signal)     /* ML */
-     value pid, signal;
-{
-  int sig;
-  sig = Int_val(signal);
-  if (sig < 0) {
-    sig = posix_signals[-sig-1];
-    if (sig == 0) invalid_argument("Unix.kill: unavailable signal");
-  }
-  if (kill(Int_val(pid), sig) == -1)
-    uerror("kill", Nothing);
-  return Val_unit;
-}