From 5e8d6dcd5111a97c4caf0c453b8053ca76f9c416 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Fri, 13 Oct 2023 09:03:40 -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 32f9453..cab258d 100644 --- a/src/opts.rs +++ b/src/opts.rs @@ -101,7 +101,7 @@ pub struct LlvmLines { pub bench: Option, // Feature selection - #[arg(long, value_name = "FEATURES", help_heading = FEATURE_SELECTION)] + #[arg(short = 'F', long, value_name = "FEATURES", help_heading = FEATURE_SELECTION)] pub features: Option, #[arg(long, help_heading = FEATURE_SELECTION)] pub all_features: bool,