Sign in
android
/
toolchain
/
rustc
/
refs/heads/rust-1.73.0
/
.
/
src
/
tools
/
miri
/
miri-script
/
miri
blob: cf3ad06788ab1311b9c98f7df8c08431f64370f7 [
file
] [
log
] [
blame
]
#!/bin/sh
# RA invokes `./miri cargo ...` for each workspace, so we need to forward that to the main `miri`
# script. See <https://github.com/rust-analyzer/rust-analyzer/issues/10793>.
exec
"$(dirname "
$0
")"
/../
miri
"$@"