Skip to content

Commit

Permalink
Merge pull request #689 from talex5/lintcstubs
Browse files Browse the repository at this point in the history
Enable lintcstubs for Eio_unix.Private too
  • Loading branch information
talex5 authored Feb 13, 2024
2 parents 717af44 + 6b5a536 commit 666c523
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 1 deletion.
5 changes: 4 additions & 1 deletion lib_eio/unix/dune
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,10 @@
(action
(with-stdout-to
primitives.h.new
(run %{bin:lintcstubs_arity_cmt} %{dep:.eio_unix.objs/byte/eio_unix__Fd.cmt} %{dep:.eio_unix.objs/byte/eio_unix__Fork_action.cmt}))))
(run %{bin:lintcstubs_arity_cmt}
%{dep:.eio_unix.objs/byte/eio_unix__Fd.cmt}
%{dep:.eio_unix.objs/byte/eio_unix__Private.cmt}
%{dep:.eio_unix.objs/byte/eio_unix__Fork_action.cmt}))))

(rule
(enabled_if %{bin-available:lintcstubs_arity_cmt})
Expand Down
1 change: 1 addition & 0 deletions lib_eio/unix/primitives.h
Original file line number Diff line number Diff line change
Expand Up @@ -7,4 +7,5 @@ CAMLprim value eio_unix_fork_execve(value);
CAMLprim value eio_unix_fork_chdir(value);
CAMLprim value eio_unix_fork_fchdir(value);
CAMLprim value eio_unix_fork_dups(value);
CAMLprim value eio_unix_readlinkat(value, value, value);
CAMLprim value eio_unix_is_blocking(value);

0 comments on commit 666c523

Please sign in to comment.