From 419f08545a310c0b059004a233b53c99cf82b047 Mon Sep 17 00:00:00 2001 From: gwenaelle Date: Thu, 1 Feb 2024 14:54:51 +0100 Subject: [PATCH] disable eio_linux warnings --- examples/plugin/plugin.ml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/examples/plugin/plugin.ml b/examples/plugin/plugin.ml index 90b13839a9..c2af8f8cce 100644 --- a/examples/plugin/plugin.ml +++ b/examples/plugin/plugin.ml @@ -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);