From 7ca03ee1da66443b999cc22bcbe5ad6d7894b7d3 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Sat, 17 Jun 2023 12:55:41 +0100 Subject: [PATCH] Restrict Windows, not Windows+Cygwin --- eio_main.opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/eio_main.opam b/eio_main.opam index c6298237d..42b22f01b 100644 --- a/eio_main.opam +++ b/eio_main.opam @@ -14,8 +14,8 @@ depends: [ "kcas" {>= "0.3.0" & with-test} "yojson" {>= "2.0.2" & with-test} "eio_linux" {= version & os = "linux"} - "eio_posix" {= version & os-family != "windows"} - "eio_windows" {= version & os-family = "windows"} + "eio_posix" {= version & os != "win32"} + "eio_windows" {= version & os = "win32"} "odoc" {with-doc} ] build: [