dev-ml/core/files/core-ocaml-4.01.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

Index: core-109.38.00/lib/core_unix.ml
===================================================================
--- core-109.38.00.orig/lib/core_unix.ml
+++ core-109.38.00/lib/core_unix.ml
@@ -890,6 +890,7 @@ Unix.open_flag =
 | O_SYNC
 | O_RSYNC
 | O_SHARE_DELETE
+| O_CLOEXEC
 with sexp
 
 type file_perm = int with of_sexp
Index: core-109.38.00/lib/core_unix.mli
===================================================================
--- core-109.38.00.orig/lib/core_unix.mli
+++ core-109.38.00/lib/core_unix.mli
@@ -305,6 +305,7 @@ type open_flag =
     | O_SYNC          (** Writes complete as `Synchronised I/O file integrity completion' *)
     | O_RSYNC         (** Reads complete as writes (depending on O_SYNC/O_DSYNC) *)
     | O_SHARE_DELETE  (** Windows only: allow the file to be deleted while still open *)
+    | O_CLOEXEC
 with sexp
 
 (** The type of file access rights. *)