diff --git a/lib_eio/unix/dune b/lib_eio/unix/dune index d067e815..e8afa88d 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)