Skip to content

Commit 0d4ef69

Browse files
committed
support '--sysroot=' form of setting the sysroot as well
1 parent d8be714 commit 0d4ef69

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/tools/miri/src/bin/miri.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -276,7 +276,7 @@ fn run_compiler(
276276
// If no `--sysroot` is given, the `MIRI_SYSROOT` env var is consulted to find where
277277
// that sysroot lives, and that is passed to rustc.
278278
let sysroot_flag = "--sysroot";
279-
if !args.iter().any(|e| e == sysroot_flag) {
279+
if !args.iter().any(|e| e.starts_with(sysroot_flag)) {
280280
// Using the built-in default here would be plain wrong, so we *require*
281281
// the env var to make sure things make sense.
282282
let miri_sysroot = env::var("MIRI_SYSROOT").unwrap_or_else(|_| {

0 commit comments

Comments
 (0)