From dd13303a4ab380d72259c51bbdc4ec178ef91dc3 Mon Sep 17 00:00:00 2001 From: Patrick Ferris Date: Thu, 17 Oct 2024 19:43:32 +0100 Subject: [PATCH] Make fork_action.h a public_header --- lib_eio/unix/dune | 1 + 1 file changed, 1 insertion(+) diff --git a/lib_eio/unix/dune b/lib_eio/unix/dune index d067e815c..e8afa88d8 100644 --- a/lib_eio/unix/dune +++ b/lib_eio/unix/dune @@ -1,6 +1,7 @@ (library (name eio_unix) (public_name eio.unix) + (public_headers include/fork_action.h) (foreign_stubs (language c) (include_dirs include)