diff options
| author | Ralf Jung <post@ralfj.de> | 2023-11-18 08:02:06 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-11-18 08:02:06 +0100 |
| commit | abdfe4a79af1367fa0873329ba44dfddeb2d6387 (patch) | |
| tree | c27a3b130181f71a5b41920b1908c54e367e651b /src/tools | |
| parent | 3d65927fae3bf2c90ced4955a2ec6a24bb04d865 (diff) | |
| download | rust-abdfe4a79af1367fa0873329ba44dfddeb2d6387.tar.gz rust-abdfe4a79af1367fa0873329ba44dfddeb2d6387.zip | |
miri script: fix RUSTC_GIT error message
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/miri-script/src/commands.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs index c24035ae086..e4789c696b3 100644 --- a/src/tools/miri/miri-script/src/commands.rs +++ b/src/tools/miri/miri-script/src/commands.rs @@ -286,7 +286,7 @@ impl Command { "This will pull a copy of the rust-lang/rust history into this Miri checkout, growing it by about 1GB." ); print!( - "To avoid that, abort now and set the `--rustc-git` flag to an existing rustc checkout. Proceed? [y/N] " + "To avoid that, abort now and set the `RUSTC_GIT` environment variable to an existing rustc checkout. Proceed? [y/N] " ); std::io::stdout().flush()?; let mut answer = String::new(); |
