summaryrefslogtreecommitdiff
path: root/otherlibs/unix/unixLabels.mli
diff options
context:
space:
mode:
authorJohn Whitington <john@coherentgraphics.co.uk>2020-07-31 15:51:11 +0100
committerJohn Whitington <john@coherentgraphics.co.uk>2020-07-31 15:51:11 +0100
commit1c258b463f655d47ef56fb5351a07b12712b3dba (patch)
tree0b461d7444d538c5e5de779b42005dad64816f24 /otherlibs/unix/unixLabels.mli
parenta5ed794b4c8290a5d1567a9f861f7c69dc5d12fa (diff)
downloadocaml-1c258b463f655d47ef56fb5351a07b12712b3dba.tar.gz
Fix label warnings
Diffstat (limited to 'otherlibs/unix/unixLabels.mli')
-rw-r--r--otherlibs/unix/unixLabels.mli14
1 files changed, 7 insertions, 7 deletions
diff --git a/otherlibs/unix/unixLabels.mli b/otherlibs/unix/unixLabels.mli
index 7677c6f491..de774e6703 100644
--- a/otherlibs/unix/unixLabels.mli
+++ b/otherlibs/unix/unixLabels.mli
@@ -151,7 +151,7 @@ val unsafe_environment : unit -> string array
details.
@since 4.12.0
- @sinceunlabeled 4.06.0 *)
+ @sinceunlabelednowarn 4.06.0 *)
val getenv : string -> string
(** Return the value associated to a variable in the process
@@ -333,7 +333,7 @@ val fsync : file_descr -> unit
(** Flush file buffers to disk.
@since 4.12.0
- @sinceunlabeled 4.08.0 *)
+ @sinceunlabelednowarn 4.08.0 *)
val read : file_descr -> buf:bytes -> pos:int -> len:int -> int
(** [read fd ~buf ~pos ~len] reads [len] bytes from descriptor [fd],
@@ -893,28 +893,28 @@ val process_in_pid : in_channel -> int
{!open_process_args_in}.
@since 4.12.0
- @sinceunlabeled 4.08.0 *)
+ @sinceunlabelednowarn 4.08.0 *)
val process_out_pid : out_channel -> int
(** Return the pid of a process opened via {!open_process_out} or
{!open_process_args_out}.
@since 4.12.0
- @sinceunlabeled 4.08.0 *)
+ @sinceunlabelednowarn 4.08.0 *)
val process_pid : in_channel * out_channel -> int
(** Return the pid of a process opened via {!open_process} or
{!open_process_args}.
@since 4.12.0
- @sinceunlabeled 4.08.0 *)
+ @sinceunlabelednowarn 4.08.0 *)
val process_full_pid : in_channel * out_channel * in_channel -> int
(** Return the pid of a process opened via {!open_process_full} or
{!open_process_args_full}.
@since 4.12.0
- @sinceunlabeled 4.08.0 *)
+ @sinceunlabelednowarn 4.08.0 *)
val close_process_in : in_channel -> process_status
(** Close channels opened by {!open_process_in},
@@ -1161,7 +1161,7 @@ val sleepf : float -> unit
but fractions of seconds are supported.
@since 4.03.0
- @sinceunlabeled 4.12.0 *)
+ @sinceunlabelednowarn 4.12.0 *)
val times : unit -> process_times
(** Return the execution times of the process.