Skip to content

Commit 3b7ae04

Browse files
committed
make sure that find_sysroot always sets MIRI_SYSROOT
1 parent 5b91ecc commit 3b7ae04

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

miri

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,6 @@ build_sysroot() {
5555
cargo run $CARGO_BUILD_FLAGS --bin cargo-miri -- miri setup "$@"
5656
# Call again, to just set env var.
5757
eval $(cargo run $CARGO_BUILD_FLAGS -q --bin cargo-miri -- miri setup --env "$@")
58-
export MIRI_SYSROOT
5958
}
6059

6160
# Prepare and set MIRI_SYSROOT. Respects `MIRI_TEST_TARGET` and takes into account
@@ -73,7 +72,7 @@ find_sysroot() {
7372
build_sysroot --target "$MIRI_TEST_TARGET"
7473
else
7574
# Assume we have a proper host libstd in $SYSROOT.
76-
true
75+
MIRI_SYSROOT="$SYSROOT"
7776
fi
7877
else
7978
# A normal toolchain. We have to build a sysroot either way.
@@ -83,6 +82,7 @@ find_sysroot() {
8382
build_sysroot
8483
fi
8584
fi
85+
export MIRI_SYSROOT
8686
}
8787

8888
## Main

0 commit comments

Comments
 (0)