doligez  committed 025c900

clarify documentation


  • Participants
  • Parent commits cddbe0f

Comments (0)

Files changed (1)

File otherlibs/unix/unix.mli

    as the current process.
    Negative pid arguments represent process groups.
    The list of options indicates whether [waitpid] should return
-   immediately without waiting, or also report stopped children. *)
+   immediately without waiting, and whether it should report stopped
+   children. *)
 val system : string -> process_status
 (** Execute the given command, wait until it terminates, and return