Refresh patches

diff --git a/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch b/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch
index c311fc19adf6b8495554040dcd2ab54f773736c2..4dd274c38662a02ec62ac06b3f1247433f77dfd8 100644 (file)
--- a/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch
+++ b/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch
@@ -4,19 +4,25 @@ Subject: Handle "unknown" ocaml system as Linux
 
 In Debian, on mipsel and mips64el, ocaml reports system as "unknown".
 ---
- clock/select/select.ml | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
+ clock/select/select.ml | 4 ++--
+ 1 file changed, 2 insertions(+), 2 deletions(-)
 
 diff --git a/clock/select/select.ml b/clock/select/select.ml
-index 78b45cf..6572136 100644
+index aea3237..7318e0a 100644
 --- a/clock/select/select.ml
 +++ b/clock/select/select.ml
-@@ -22,7 +22,7 @@ let () =
+@@ -22,12 +22,12 @@ let () =
        | [|_; "--system"; system; "-o"; output|] ->
            let system =
              match system with
 -            | "linux" | "elf" -> `Linux
 +            | "linux" | "elf" | "unknown" -> `Linux
-             | "windows" | "mingw64" | "mingw" | "cygwin" -> `Windows
+             | "win32" | "win64" | "mingw64" | "mingw" | "cygwin" -> `Windows
              | "freebsd" -> `FreeBSD
              | "macosx" -> `MacOSX
+             | "beos" | "dragonfly" | "bsd" | "openbsd" | "netbsd" | "gnu"
+-            | "solaris" | "unknown" ->
++            | "solaris" ->
+               invalid_arg "Unsupported system: %s" system
+             | v ->
+               if String.sub system 0 5 = "linux"