#!/bin/sh # RA invokes `./miri cargo ...` for each workspace, so we need to forward that to the main `miri` # script. See . exec "$(dirname "$0")"/../miri "$@"