diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-06-25 09:55:26 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-06-25 09:55:26 +0000 |
| commit | 63ba4fa31b01507a07f0726f73ca5135af0e09e1 (patch) | |
| tree | 2957cda823bed2361864652ad6311849e5ce61f8 /otherlibs/unix/wait.c | |
| parent | 896da9682e1ead0e42755bfaaeb9cb7d06ba474f (diff) | |
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
Diffstat (limited to 'otherlibs/unix/wait.c')
| -rw-r--r-- | otherlibs/unix/wait.c | 6 |
1 files changed, 5 insertions, 1 deletions
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 |