fix indentation
This commit is contained in:
parent
7f3a298f6d
commit
a358590679
1 changed files with 2 additions and 2 deletions
4
miri
4
miri
|
|
@ -33,8 +33,8 @@ find_sysroot() {
|
|||
export XARGO_RUST_SRC="$SYSROOT/../../../src"
|
||||
build_sysroot --target "$MIRI_TEST_TARGET"
|
||||
else
|
||||
# Assume we have a proper host libstd in $SYSROOT.
|
||||
true
|
||||
# Assume we have a proper host libstd in $SYSROOT.
|
||||
true
|
||||
fi
|
||||
else
|
||||
# We have to build a sysroot either way.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue