From abdfe4a79af1367fa0873329ba44dfddeb2d6387 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 18 Nov 2023 08:02:06 +0100 Subject: [PATCH] miri script: fix RUSTC_GIT error message --- src/tools/miri/miri-script/src/commands.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs index c24035ae0862..e4789c696b39 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();