From ceeb0074a6eca8cf282fb79ed967fcf2b36f83ea Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Tue, 11 Feb 2025 17:57:28 +0200 Subject: fix(zkvms_host_io): Rename short metrics output flag to 'o' --- zkvms_host_io/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zkvms_host_io/src/lib.rs b/zkvms_host_io/src/lib.rs index 680477a..27099ef 100644 --- a/zkvms_host_io/src/lib.rs +++ b/zkvms_host_io/src/lib.rs @@ -39,7 +39,7 @@ struct Cli { millis: bool, /// Put the benchmark's formatted output into a file of the given path - #[arg(short, long, requires = "benchmark")] + #[arg(short = 'o', long, requires = "benchmark")] metrics_output: Option, /// Append the benchmark formatted output to the given file, instead of replacing it -- cgit v1.2.3