From 7f2ea2c7d470fb93d6cd32a475d3714ed8645d97 Mon Sep 17 00:00:00 2001 From: Eric Huss Date: Fri, 13 Oct 2023 08:52:02 -0700 Subject: [PATCH] Add short features flag --- src/opts.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opts.rs b/src/opts.rs index a5b048a..1f82898 100644 --- a/src/opts.rs +++ b/src/opts.rs @@ -81,7 +81,7 @@ pub struct Expand { pub bench: Option>, /// Space or comma separated list of features to activate - #[arg(long, value_name = "FEATURES", help_heading = FEATURE_SELECTION)] + #[arg(short = 'F', long, value_name = "FEATURES", help_heading = FEATURE_SELECTION)] pub features: Option, /// Activate all available features