diff options
Diffstat (limited to 'zkvms_host_io/src/lib.rs')
| -rw-r--r-- | zkvms_host_io/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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<String>, /// Append the benchmark formatted output to the given file, instead of replacing it |