diff --git a/test/blackbox-tests/test-cases/github9272.t b/test/blackbox-tests/test-cases/github9272.t new file mode 100644 index 000000000000..827fd5899ff1 --- /dev/null +++ b/test/blackbox-tests/test-cases/github9272.t @@ -0,0 +1,31 @@ + $ cat > dune-project << EOF + > (lang dune 3.0) + > (using dune_site 0.1) + > EOF + + $ cat > dune << EOF + > (executable + > (name hello) + > (promote (until-clean)) + > (libraries dune-site)) + > EOF + + $ touch hello.ml + + $ cat > exec.ml << EOF + > let () = + > let pid = + > Unix.create_process + > "./hello.exe" [|"./hello.exe"|] + > Unix.stdin Unix.stdout Unix.stderr + > in + > match Unix.waitpid [] pid with + > | _, WEXITED n -> Printf.printf "WEXITED %d" n + > | _, WSTOPPED n -> Printf.printf "WSTOPPED %d" n + > | _, WSIGNALED n -> Printf.printf "WSIGNALED %d" n + > EOF + + $ dune build + + $ ocaml -I +unix unix.cma exec.ml + WSIGNALED -7