From 84dd8601e0f37301b82aa035ceac32b0264b4748 Mon Sep 17 00:00:00 2001
From: Alain Frisch <alain@frisch.fr>
Date: Tue, 13 Dec 2011 16:18:13 +0000
Subject: #5420: adding a O_SHARE_DELETE flag to Unix.openfile, for enabling
 FILE_SHARE_DELETE mode under Windows (ignored under Unix).

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 otherlibs/win32unix/unix.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'otherlibs/win32unix/unix.ml')

diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml
index c513ee4da..56d33bde8 100644
--- a/otherlibs/win32unix/unix.ml
+++ b/otherlibs/win32unix/unix.ml
@@ -170,6 +170,7 @@ type open_flag =
   | O_DSYNC
   | O_SYNC
   | O_RSYNC
+  | O_SHARE_DELETE
 
 type file_perm = int
 
-- 
cgit v1.2.3-70-g09d2