From 9e81003d142003c8e1b85b6a8cc830633701e69c Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Wed, 26 Jul 2023 09:58:51 +0100 Subject: [PATCH] Update comments for Linux exotic arches --- stats/config/discover.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/stats/config/discover.ml b/stats/config/discover.ml index d5db01e1..24346515 100644 --- a/stats/config/discover.ml +++ b/stats/config/discover.ml @@ -37,9 +37,9 @@ let () = C.main ~name:"libnl-3-pkg-config" (fun c -> match C.ocaml_config_var_exn c "system" with | "freebsd" -> freebsd c + | "linux_elf" (* Historically, x86_32 *) + | "linux_eabihf" (* Historically, arm32 *) + | "elf" (* Historically, ppc64 & s390x *) | "linux" -> linux c - | "linux_elf" -> linux c (* x86_32 *) - | "linux_eabihf" -> linux c (* arm32 *) - | "elf" -> linux c (* ppc64 & s390x *) | "macosx" -> niet c (* skip *) | os -> failwith ("Unsupported platform: "^os))