diff --git a/GNUmakefile b/GNUmakefile index 808d3788..dbd4d2d3 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -1,8 +1,8 @@ vendor_list := \ mkernel miou zarith bstr mnet mirage-crypto-rng-mkernel gmp digestif \ kdf utcp flux h1 httpcats mhttp multipart_form-miou prettym tls \ - x509 vifu cachet mfat mirage-mtime caqti \ - base32 cohttp + x509 vifu cachet mfat caqti \ + base32 cohttp mirage-mtime mirage-ptime secmod_fat=secrets/secmod.fat tap_device=tap-mte diff --git a/src/dune b/src/dune index a4f1b9fc..267586e1 100644 --- a/src/dune +++ b/src/dune @@ -39,7 +39,6 @@ kdf.hkdf digestif fmt - fmt.tty logs logs.fmt)) diff --git a/src/util.ml b/src/util.ml index d0032b80..8d87d47f 100644 --- a/src/util.ml +++ b/src/util.ml @@ -57,7 +57,6 @@ module Log_reporter = struct (*set_level_secmods (Some Logs.Debug);*) let level = Some Logs.Info in Logs.set_level ~all:false level; - Fmt_tty.setup_std_outputs ~style_renderer:`Ansi_tty ~utf_8:true (); Logs.Src.set_level Logs.default level; Logs.set_reporter reporter; ()