From 4658186d04b5da5ededeea254b418fcea6d5dc2d Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 17 Aug 2023 14:27:20 +0200 Subject: [PATCH] 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 --- clock/select/select.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2