summaryrefslogtreecommitdiff
path: root/testsuite/tests/lib-unix/common/process_pid.ml
blob: 8d8852f6d453f983da2b687a8afc4e3ad718759b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(* TEST
* hasunix
include unix
** bytecode
** native
*)

let () =
  let ic, _ as process =
    (* Redirect to null to avoid
       "The process tried to write to a nonexistent pipe." on Windows *)
    Printf.ksprintf Unix.open_process "echo toto > %s" Filename.null
  in
  assert
    (Unix.process_pid process = Unix.process_pid process);

  ignore (Unix.close_process process);
  print_endline "OK"