Merge pull request #200 from ehuss/features-short

Add short features flag
dtolnay · Oct 13, 2023 · d8d674d · d8d674d
2 parents 3812634 + 7f2ea2c
commit d8d674d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/opts.rs b/src/opts.rs
@@ -81,7 +81,7 @@ pub struct Expand {
     pub bench: Option<Option<String>>,
 
     /// 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<String>,
 
     /// Activate all available features