we don't need unstable options

[rust.git] / miri

diff --git a/miri b/miri
index 2a9be1de3629c8929c075be6e2f5761273a88ee1..463e4607baedbb89f8e40557a9c39839c76390e1 100755 (executable)
--- a/miri
+++ b/miri
@@ -53,13 +53,13 @@ EOF
 MIRIDIR=$(python3 -c 'import os, sys; print(os.path.dirname(os.path.realpath(sys.argv[1])))' "$0")
 
 ## Run the auto-things.
-if [ -z "$AUTO_OPS" ]; then
-    export AUTO_OPS=42
+if [ -z "$MIRI_AUTO_OPS" ]; then
+    export MIRI_AUTO_OPS=42
 
     # 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