File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -65,8 +65,8 @@ let show () cap_path terse pool worker =
6565let check_exit_status = function
6666 | Unix. WEXITED 0 -> ()
6767 | Unix. WEXITED x -> Fmt. failwith " Sub-process failed with exit code %d" x
68- | Unix. WSIGNALED x -> Fmt. failwith " Sub-process failed with signal %d " x
69- | Unix. WSTOPPED x -> Fmt. failwith " Sub-process stopped with signal %d " x
68+ | Unix. WSIGNALED x -> Fmt. failwith " Sub-process failed with signal %a " Fmt.Dump. signal x
69+ | Unix. WSTOPPED x -> Fmt. failwith " Sub-process stopped with signal %a " Fmt.Dump. signal x
7070
7171let exec () cap_path pool command =
7272 run cap_path @@ fun admin_service ->
Original file line number Diff line number Diff line change @@ -15,8 +15,8 @@ let or_die = function
1515let check_exit_status = function
1616 | Unix. WEXITED 0 -> ()
1717 | Unix. WEXITED x -> Fmt. failwith " Sub-process failed with exit code %d" x
18- | Unix. WSIGNALED x -> Fmt. failwith " Sub-process failed with signal %d " x
19- | Unix. WSTOPPED x -> Fmt. failwith " Sub-process stopped with signal %d " x
18+ | Unix. WSIGNALED x -> Fmt. failwith " Sub-process failed with signal %a " Fmt.Dump. signal x
19+ | Unix. WSTOPPED x -> Fmt. failwith " Sub-process stopped with signal %a " Fmt.Dump. signal x
2020
2121module Self_update = struct
2222 let service = " builder_agent"
You can’t perform that action at this time.
0 commit comments