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

miri script does not need to handle locally built rustc any more

Browse Source
This commit is contained in:
Ralf Jung 2019-11-23 10:36:23 +01:00
parent 5339d541ef
commit 274e72996e
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
miri
View File

@ -65,16 +65,11 @@ find_sysroot() {
return 0
fi
# We need to build a sysroot.
if echo "$SYSROOT" | egrep -q 'build/[^/]+/stage'; then
# A local rustc build. Use its source dir.
export XARGO_RUST_SRC="$SYSROOT/../../../src"
fi
if [ -n "$MIRI_TEST_TARGET" ]; then
build_sysroot --target "$MIRI_TEST_TARGET"
else
build_sysroot
fi
export MIRI_SYSROOT
}
## Main