Skip to content

Commit 5b91ecc

Browse files
committed
fix comments
1 parent b0b082d commit 5b91ecc

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

src/bin/miri.rs

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -100,6 +100,8 @@ fn init_late_loggers() {
100100
}
101101
}
102102

103+
/// Returns the "default sysroot" that Miri will use if no `--sysroot` flag is set.
104+
/// Should be a compile-time constant.
103105
fn compile_time_sysroot() -> String {
104106
// Taken from PR <https://github.com/Manishearth/rust-clippy/pull/911>.
105107
let home = option_env!("RUSTUP_HOME").or(option_env!("MULTIRUST_HOME"));
@@ -168,8 +170,7 @@ fn main() {
168170
if !rustc_args.contains(&sysroot_flag) {
169171
// We need to *always* set a --sysroot, as the "default" rustc uses is
170172
// somewhere in the directory miri was built in.
171-
// If neither MIRI_SYSROOT nor --sysroot are given, fall back to env
172-
// vars that are read at *compile-time*.
173+
// If no --sysroot is given, fall back to env vars that are read at *compile-time*.
173174
rustc_args.push(sysroot_flag);
174175
rustc_args.push(compile_time_sysroot());
175176
}

0 commit comments

Comments
 (0)