diff options
Diffstat (limited to 'otherlibs/win32unix/unix.ml')
| -rw-r--r-- | otherlibs/win32unix/unix.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml index cb5bcdd70..5231507e1 100644 --- a/otherlibs/win32unix/unix.ml +++ b/otherlibs/win32unix/unix.ml @@ -168,6 +168,10 @@ type open_flag = | O_CREAT | O_TRUNC | O_EXCL + | O_NOCTTY + | O_DSYNC + | O_SYNC + | O_RSYNC type file_perm = int |