Skip to content

Commit 5424a81

Browse files
RalfJungRalfJung
committed
fix miri sysrot location
1 parent 5f7b667 commit 5424a81

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎compiler/miri/cargo-miri-playground

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,6 @@
22

33
set -eu
44

5-
export MIRI_SYSROOT=~/.cache/miri/HOST
5+
export MIRI_SYSROOT=~/.cache/miri
66
export MIRIFLAGS="-Zmiri-disable-isolation"
77
exec cargo miri run

0 commit comments

Comments
 (0)