Merge pull request #854 from RalfJung/miri

shepmaster · web-flow · commit 7350fbf09cc5 · 2022-10-07T07:57:25.000-04:00
fix miri sysroot location
diff --git a/compiler/miri/cargo-miri-playground b/compiler/miri/cargo-miri-playground
@@ -2,6 +2,6 @@
 
 set -eu
 
-export MIRI_SYSROOT=~/.cache/miri/HOST
+export MIRI_SYSROOT=~/.cache/miri
 export MIRIFLAGS="-Zmiri-disable-isolation"
 exec cargo miri run
