diff options
Diffstat (limited to 'otherlibs/win32unix/pipe.c')
-rw-r--r-- | otherlibs/win32unix/pipe.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/win32unix/pipe.c b/otherlibs/win32unix/pipe.c index 67e381298..afacd3e17 100644 --- a/otherlibs/win32unix/pipe.c +++ b/otherlibs/win32unix/pipe.c @@ -19,7 +19,8 @@ #include "unixsupport.h" #include <fcntl.h> -#define SIZEBUF 1024 +/* PR#4749: pick a size that matches that of I/O buffers */ +#define SIZEBUF 4096 CAMLprim value unix_pipe(value unit) { |