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

Auto merge of #2405 - RalfJung:pwd, r=RalfJung

Browse Source 
fix auto-toolchain pwd

`rustup-toolchain` needs to be called in the right directory
This commit is contained in:
bors 2022-07-21 11:20:53 +00:00
commit 0f973bdf2d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
miri
View File

@ -59,7 +59,7 @@ if [ -z "$AUTO_OPS" ]; then
# Run this first, so that the toolchain doesn't change after
# other code has run.
if [ -f "$MIRIDIR/.auto-everything" ] || [ -f "$MIRIDIR/.auto-toolchain" ] ; then
"$MIRIDIR"/rustup-toolchain
(cd "$MIRIDIR" && ./rustup-toolchain)
fi
if [ -f "$MIRIDIR/.auto-everything" ] || [ -f "$MIRIDIR/.auto-fmt" ] ; then