diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2021-05-01 18:36:50 -0400 |
|---|---|---|
| committer | Joshua Nelson <jyn514@gmail.com> | 2021-05-01 18:58:05 -0400 |
| commit | 85ee3d0f23cf32fbc59fcf36f0bd4a877870534b (patch) | |
| tree | 2dfb0bb68e27b2facedd05bc6634ca74d749c023 | |
| parent | b52769b804a12b7045ee1bce893a64045cdb974a (diff) | |
| download | rust-85ee3d0f23cf32fbc59fcf36f0bd4a877870534b.tar.gz rust-85ee3d0f23cf32fbc59fcf36f0bd4a877870534b.zip | |
Remove unused parse_opt_list function
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index 1c2a7f7716d..92715214341 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -299,7 +299,6 @@ macro_rules! options { pub const parse_opt_pathbuf: &str = "a path"; pub const parse_pathbuf_push: &str = parse_opt_pathbuf; pub const parse_list: &str = "a space-separated list of strings"; - pub const parse_opt_list: &str = parse_list; pub const parse_opt_comma_list: &str = "a comma-separated list of strings"; pub const parse_number: &str = "a number"; pub const parse_opt_number: &str = parse_number; @@ -435,18 +434,6 @@ macro_rules! options { } } - fn parse_opt_list(slot: &mut Option<Vec<String>>, v: Option<&str>) - -> bool { - match v { - Some(s) => { - let v = s.split_whitespace().map(|s| s.to_string()).collect(); - *slot = Some(v); - true - }, - None => false, - } - } - fn parse_opt_comma_list(slot: &mut Option<Vec<String>>, v: Option<&str>) -> bool { match v { |