From: Stephane Glondu <steph@glondu.net>
Date: Thu, 17 Aug 2023 12:27:20 +0000 (+0200)
Subject: Handle "unknown" ocaml system as Linux
X-Git-Tag: archive/raspbian/0.10-1+rpi1~2^2~1
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4658186d04b5da5ededeea254b418fcea6d5dc2d;p=ocaml-eqaf.git

Handle "unknown" ocaml system as Linux

In Debian, on mipsel and mips64el, ocaml reports system as "unknown".

Gbp-Pq: Name 0001-Handle-unknown-ocaml-system-as-Linux.patch
---

diff --git a/clock/select/select.ml b/clock/select/select.ml
index 78b45cf..6572136 100644
--- a/clock/select/select.ml
+++ b/clock/select/select.ml
@@ -22,7 +22,7 @@ let () =
       | [|_; "--system"; system; "-o"; output|] ->
           let system =
             match system with
-            | "linux" | "elf" -> `Linux
+            | "linux" | "elf" | "unknown" -> `Linux
             | "windows" | "mingw64" | "mingw" | "cygwin" -> `Windows
             | "freebsd" -> `FreeBSD
             | "macosx" -> `MacOSX