WIP

ocsigen · Jan 16, 2025 · de23fc0 · de23fc0
1 parent b3d2b16
commit de23fc0
Showing 1 changed file with 15 additions and 1 deletion.
diff --git a/tools/ci_setup.ml b/tools/ci_setup.ml
@@ -261,6 +261,20 @@ let () =
       let ch =
         Unix.open_process_out (Printf.sprintf "cd %s/lib/%s && patch -p 1" jane_root dir)
       in
+      let patch =
+        if Sys.win32
+        then String.concat "\r\n" (String.split_on_char '\n' patch)
+        else patch
+      in
       output_string ch patch;
-      ignore (Unix.close_process_out ch))
+      match Unix.close_process_out ch with
+      | WEXITED 0 -> ()
+      | e ->
+          let name, i =
+            match e with
+            | WEXITED n -> "exit", n
+            | WSIGNALED n -> "signal", n
+            | WSTOPPED n -> "stop", n
+          in
+          failwith (Printf.sprintf "%s %d which patching %s" name i dir))
     patches