From 394fe221b30c1057558425f7913d661875c572f6 Mon Sep 17 00:00:00 2001 From: Yumacide <88495241+Yumacide@users.noreply.github.com> Date: Fri, 5 Aug 2022 09:40:13 +0200 Subject: [PATCH] Propagate tool exit code (#25) --- src/main.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/main.rs b/src/main.rs index 2a39e6d..c86453b 100644 --- a/src/main.rs +++ b/src/main.rs @@ -36,8 +36,7 @@ fn run() -> anyhow::Result<()> { for manifest in &manifests { if let Some(tool_id) = manifest.tools.get(exe_name.as_str()) { let args = std::env::args().skip(1).collect(); - tool_storage.run(tool_id, args)?; - return Ok(()); + std::process::exit(tool_storage.run(tool_id, args)?); } }