diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-05-13 15:46:49 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-05-13 15:46:49 +0000 |
| commit | d75dd36508169412b88e25276a841db3b940d061 (patch) | |
| tree | b4f79c9e045aef7cdf147861c62b8882b1287000 /otherlibs/unix/wait.c | |
| parent | 31b160fdfa029eded4d95eac8436d1a04c59fb0c (diff) | |
Pour adaptation au compacteur: les I/O passent par un buffer
supplementaire hors du tas; suppression de unix_freeze_buffer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/wait.c')
| -rw-r--r-- | otherlibs/unix/wait.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index 12bfed25d..982db7a14 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -14,6 +14,7 @@ #include <mlvalues.h> #include <alloc.h> #include <memory.h> +#include <signals.h> #include "unixsupport.h" #include <sys/types.h> |