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

rename MIRI_TARGET -> MIRI_COMPILETEST_TARGET to clarify that this affects compiletest only

Browse Source
This commit is contained in:
Ralf Jung 2019-04-07 10:57:25 +02:00
parent 72cd133d1b
commit 336a59d264
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/compiletest.rs
View File

@ -101,7 +101,7 @@ fn get_host() -> String {
}
fn get_target() -> String {
std::env::var("MIRI_TARGET").unwrap_or_else(|_| get_host())
std::env::var("MIRI_COMPILETEST_TARGET").unwrap_or_else(|_| get_host())
}
fn run_pass_miri(opt: bool) {

2
travis.sh
View File

@ -22,7 +22,7 @@ echo
echo "Test miri with full MIR, on the host and other architectures"
MIRI_SYSROOT="$MIRI_SYSROOT_BASE"/HOST cargo test --release --all-features
MIRI_SYSROOT="$MIRI_SYSROOT_BASE" MIRI_TARGET="$FOREIGN_TARGET" cargo test --release --all-features
MIRI_SYSROOT="$MIRI_SYSROOT_BASE" MIRI_COMPILETEST_TARGET="$FOREIGN_TARGET" cargo test --release --all-features
echo
echo "Test cargo integration"