From 5e32ce7bccd1bcac7e2efe3e9e00ebc2c8769dfd Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 15 Feb 2026 15:46:31 -0500 Subject: [PATCH] fix dune --- src/eio/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/eio/dune b/src/eio/dune index 11100ed1..fafdcaf3 100644 --- a/src/eio/dune +++ b/src/eio/dune @@ -3,4 +3,4 @@ (public_name tiny_httpd_eio) (synopsis "An EIO-based backend for Tiny_httpd") (flags :standard -safe-string -warn-error -a+8) - (libraries tiny_httpd eio eio.unix)) + (libraries tiny_httpd eio eio_posix))