we don't need unstable options

[rust.git] / miri

diff --git a/miri b/miri
index 38f8e546aecba4ab2f24b22808b69f4c970c8a44..463e4607baedbb89f8e40557a9c39839c76390e1 100755 (executable)
--- a/miri
+++ b/miri
@@ -53,8 +53,8 @@ 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.