diff options
| author | Paul Gey <narpfel@gmx.de> | 2024-05-01 21:34:50 +0200 |
|---|---|---|
| committer | Paul Gey <narpfel@gmx.de> | 2024-05-01 21:53:09 +0200 |
| commit | 4b4262691da5fe93e3226842efbdd06f89e1abb3 (patch) | |
| tree | 5d994c7103d106812480ae1e3eed4be36e800832 | |
| parent | 1cf951e5c6efd4fa55031b72f17c196e74b0f349 (diff) | |
| download | rust-4b4262691da5fe93e3226842efbdd06f89e1abb3.tar.gz rust-4b4262691da5fe93e3226842efbdd06f89e1abb3.zip | |
fix usage example for `--print-sysroot`
| -rw-r--r-- | src/tools/miri/cargo-miri/src/phases.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/cargo-miri/src/phases.rs b/src/tools/miri/cargo-miri/src/phases.rs index 6a3b6f68a7e..e2fc2a0c277 100644 --- a/src/tools/miri/cargo-miri/src/phases.rs +++ b/src/tools/miri/cargo-miri/src/phases.rs @@ -28,7 +28,7 @@ Examples: cargo miri run cargo miri test -- test-suite-filter - cargo miri setup --print sysroot + cargo miri setup --print-sysroot This will print the path to the generated sysroot (and nothing else) on stdout. stderr will still contain progress information about how the build is doing. |