Fix help for profile flags
This commit is contained in:
parent
f64c45a7d2
commit
1e46b18fec
1 changed files with 2 additions and 2 deletions
|
@ -223,8 +223,8 @@ To learn more about a subcommand, run `./x.py <subcommand> -h`",
|
|||
VALUE overrides the skip-rebuild option in config.toml.",
|
||||
"VALUE",
|
||||
);
|
||||
opts.optopt("", "rust-profile-generate", "rustc error format", "FORMAT");
|
||||
opts.optopt("", "rust-profile-use", "rustc error format", "FORMAT");
|
||||
opts.optopt("", "rust-profile-generate", "generate PGO profile with rustc build", "FORMAT");
|
||||
opts.optopt("", "rust-profile-use", "use PGO profile for rustc build", "FORMAT");
|
||||
|
||||
// We can't use getopt to parse the options until we have completed specifying which
|
||||
// options are valid, but under the current implementation, some options are conditional on
|
||||
|
|
Loading…
Reference in a new issue