diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-12-11 09:51:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-11 09:51:56 +0100 |
| commit | 12c2fd294fd273ad3ab77daf0ff8e63503607d65 (patch) | |
| tree | b7f6fa66b5111dea865073a8566efbad5563447c | |
| parent | cb4753135e69f6d718a11a72f429acc3f074d51d (diff) | |
| parent | 952bf87da1f817c767d61d01a365796b07c71fc4 (diff) | |
| download | rust-12c2fd294fd273ad3ab77daf0ff8e63503607d65.tar.gz rust-12c2fd294fd273ad3ab77daf0ff8e63503607d65.zip | |
Rollup merge of #105532 - poliorcetics:document-remap-order, r=JohnTitor
Document behaviour of `--remap-path-prefix` with several matches
| -rw-r--r-- | src/doc/rustc/src/command-line-arguments.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/doc/rustc/src/command-line-arguments.md b/src/doc/rustc/src/command-line-arguments.md index ef6eee75f1c..d4d26654ed1 100644 --- a/src/doc/rustc/src/command-line-arguments.md +++ b/src/doc/rustc/src/command-line-arguments.md @@ -434,6 +434,9 @@ replacement is purely textual, with no consideration of the current system's pathname syntax. For example `--remap-path-prefix foo=bar` will match `foo/lib.rs` but not `./foo/lib.rs`. +When multiple remappings are given and several of them match, the **last** +matching one is applied. + <a id="option-json"></a> ## `--json`: configure json messages printed by the compiler |