1
Fork 0

Rollup merge of #102226 - RalfJung:miri-sysroot-build, r=oli-obk

bootstrap/miri: switch to non-deprecated env var for setting the sysroot folder

r? `@oli-obk`
This commit is contained in:
Matthias Krüger 2022-09-24 14:29:56 +02:00 committed by GitHub
commit 6900638c53
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -520,7 +520,7 @@ impl Step for Miri {
cargo.arg("--").arg("miri").arg("setup");
// Tell `cargo miri setup` where to find the sources.
cargo.env("XARGO_RUST_SRC", builder.src.join("library"));
cargo.env("MIRI_LIB_SRC", builder.src.join("library"));
// Tell it where to find Miri.
cargo.env("MIRI", &miri);
// Debug things.