From eadfc9d45b56c341216f948c40a933a905569a11 Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Thu, 30 Jun 2022 19:08:47 +0200 Subject: [PATCH] Fix ignored error during 'opam init' Errors during 'opam init' were inadvertently ignored. --- src/bin/main.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/bin/main.ml b/src/bin/main.ml index b785c8b..f54ba5e 100644 --- a/src/bin/main.ml +++ b/src/bin/main.ml @@ -19,7 +19,8 @@ let rec log_error = function let install_platform () = let opam_opts = Platform.Opam.GlobalOpts.default in let install_res = - let _ = Platform.Opam.check_init () in + let open Result.Syntax in + let* () = Platform.Opam.check_init () in Platform.Tools.(install opam_opts (platform ())) in match install_res with