river/.cargo/bin/cargo-miri
2021-04-06 20:41:50 +08:00

3 lines
39 B
Bash
Executable File

#!/bin/bash
$(which cargo-miri) ${@:1}