diff options
Diffstat (limited to 'ocaml-binary-annot/otherlibs/win32unix/sleep.c')
| -rw-r--r-- | ocaml-binary-annot/otherlibs/win32unix/sleep.c | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/ocaml-binary-annot/otherlibs/win32unix/sleep.c b/ocaml-binary-annot/otherlibs/win32unix/sleep.c new file mode 100644 index 0000000000..421e5f9023 --- /dev/null +++ b/ocaml-binary-annot/otherlibs/win32unix/sleep.c @@ -0,0 +1,27 @@ +/***********************************************************************/ +/* */ +/* Objective Caml */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1996 Institut National de Recherche en Informatique et */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + +#include <mlvalues.h> +#include <signals.h> +#include "unixsupport.h" + +CAMLprim value unix_sleep(t) + value t; +{ + enter_blocking_section(); + Sleep(Int_val(t) * 1000); + leave_blocking_section(); + return Val_unit; +} |