From 7c30ba183c9903362ffc93921d659dda665f5039 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 21 Jul 2022 07:19:56 -0400
Subject: [PATCH] fix auto-toolchain pwd

---
 miri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/miri b/miri
index 2a9be1de362..38f8e546aec 100755
--- a/miri
+++ b/miri
@@ -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