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

fix auto-toolchain pwd

Browse Source
This commit is contained in:
Ralf Jung 2022-07-21 07:19:56 -04:00
parent 3800933ff0
commit 7c30ba183c
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