Skip to content

Commit 3ce9420

Browse files
committed
Document ./miri cargo
1 parent 5f30655 commit 3ce9420

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

miri

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,9 @@ Just build miri. <flags> are passed to `cargo build`.
1515
./miri check <flags>:
1616
Just check miri. <flags> are passed to `cargo check`.
1717
18+
./miri cargo <flags>:
19+
Run `cargo miri <flags>`.
20+
1821
./miri test <flags>:
1922
Build miri, set up a sysroot and then run the test suite. <flags> are passed
2023
to the final `cargo test` invocation.

0 commit comments

Comments
 (0)