projects
/
ocaml-eqaf.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5b23923
)
Handle "unknown" ocaml system as Linux
author
Stephane Glondu
<steph@glondu.net>
Thu, 17 Aug 2023 12:27:20 +0000
(14:27 +0200)
committer
Peter Michael Green
<plugwash@raspbian.org>
Fri, 22 Dec 2023 04:14:19 +0000
(
04:14
+0000)
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
patch
|
blob
|
history
diff --git
a/clock/select/select.ml
b/clock/select/select.ml
index 78b45cfd0b8f1467da3dc4eaa031840bad52af1f..65721368abb7a1618c5733d6b44251c39ddf2225 100644
(file)
--- 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