summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/batteries/files/batteries-2.1-ocaml-4.01.patch')
-rw-r--r--dev-ml/batteries/files/batteries-2.1-ocaml-4.01.patch21
1 files changed, 21 insertions, 0 deletions
diff --git a/dev-ml/batteries/files/batteries-2.1-ocaml-4.01.patch b/dev-ml/batteries/files/batteries-2.1-ocaml-4.01.patch
new file mode 100644
index 000000000000..49194794e967
--- /dev/null
+++ b/dev-ml/batteries/files/batteries-2.1-ocaml-4.01.patch
@@ -0,0 +1,21 @@
+commit 1db918c5966c6f95dda9b2c4c26975b0a8fddb2c
+Author: Gabriel Scherer <gabriel.scherer@gmail.com>
+Date: Thu Aug 8 11:59:49 2013 +0200
+
+ Add the new O_CLOEXEC flag to Unix.open_flag in version 4.1
+
+diff --git a/src/batUnix.mliv b/src/batUnix.mliv
+index bd710a7..943db0a 100644
+--- a/src/batUnix.mliv
++++ b/src/batUnix.mliv
+@@ -261,6 +261,10 @@ type open_flag = Unix.open_flag =
+ O_SYNC/O_DSYNC) *)
+ ##V4## | O_SHARE_DELETE (** OCaml 4 and Windows only: allow the file to be deleted
+ ##V4## while still open *)
++##V4.1## | O_CLOEXEC (** Set the close-on-exec flag on the
++##V4.1## descriptor returned by {!openfile}
++##V4.1##
++##V4.1## Since OCaml 4.1 *)
+ (** The flags to {!Unix.openfile}. *)
+
+