mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #419 from RalfJung/sysroot

Browse Source 
clarify error message when sysroot was not found
This commit is contained in:
Ralf Jung 2018-07-31 20:27:18 +02:00 committed by GitHub
commit c2670bfdd8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/bin/miri.rs
View File

@ -200,7 +200,8 @@ fn find_sysroot() -> String {
_ => {
option_env!("RUST_SYSROOT")
.expect(
"need to specify RUST_SYSROOT env var or use rustup or multirust",
"Could not find sysroot. Either set MIRI_SYSROOT at run-time, or at \
build-time specify RUST_SYSROOT env var or use rustup or multirust",
)
.to_owned()
}