diff options
| -rw-r--r-- | src/bootstrap/flags.rs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/bootstrap/flags.rs b/src/bootstrap/flags.rs index 1822c2936b7..80b3bcce860 100644 --- a/src/bootstrap/flags.rs +++ b/src/bootstrap/flags.rs @@ -623,15 +623,6 @@ Arguments: } }; - if let Subcommand::Check { .. } = &cmd { - if matches.opt_str("keep-stage").is_some() - || matches.opt_str("keep-stage-std").is_some() - { - eprintln!("--keep-stage not yet supported for x.py check"); - crate::detail_exit(1); - } - } - Flags { verbose: matches.opt_count("verbose"), stage: matches.opt_str("stage").map(|j| j.parse().expect("`stage` should be a number")), |
