From 63ba4fa31b01507a07f0726f73ca5135af0e09e1 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 25 Jun 1996 09:55:26 +0000 Subject: Ajout de gmtime. Utiliser wait4 si waitpid non disponible. Tester l'existence de rewinddir. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- otherlibs/unix/wait.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'otherlibs/unix/wait.c') diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index d449a9e71..fcac90e43 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -63,7 +63,11 @@ value unix_wait() /* ML */ return alloc_process_status(pid, status); } -#ifdef HAS_WAITPID +#if defined(HAS_WAITPID) || defined(HAS_WAIT4) + +#ifndef HAS_WAITPID +#define waitpid(pid,status,opts) wait4(pid,status,opts,NULL) +#endif static int wait_flag_table[] = { WNOHANG, WUNTRACED -- cgit v1.2.3-70-g09d2