Skip to content

Commit

Permalink
disable eio_linux warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
clecat committed Feb 1, 2024
1 parent 6894161 commit 419f085
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions examples/plugin/plugin.ml
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,13 @@ module Store = Irmin_mem.Make (Schema)

let store = Resolver.Store.v Irmin_mem.Conf.spec (module Store)

(* disable eio_linux warnings *)
let () =
List.iter (fun src ->
if Logs.Src.name src = "eio_linux" then
Logs.Src.set_level src (Some Error))
@@ Logs.Src.list ()

let () =
Eio_main.run @@ fun env ->
Irmin_pack_unix.Io.set_env (Eio.Stdenv.fs env);
Expand Down

0 comments on commit 419f085

Please sign in to comment.