]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 758c7bc d7ef0b3)
Rollup merge of #88751 - bjorn3:move_filesearch, r=oli-obk
authorYuki Okushi <jtitor@2k36.org>
Fri, 17 Sep 2021 05:09:47 +0000 (14:09 +0900)
committerGitHub <noreply@github.com>
Fri, 17 Sep 2021 05:09:47 +0000 (14:09 +0900)
commita84d39c7d4e8b1cdbfc44f368181f2fe05a6ac1c
tree0eb0a0a375f5fcebdd5b45bca1dd2fa8c6bccbb3tree | snapshot
parent758c7bcc58387178ee0d7c454e6cf748a44a8618commit | diff
parentd7ef0b30e89960aede88bf450e4a2172332432e0commit | diff
Rollup merge of #88751 - bjorn3:move_filesearch, r=oli-obk

Couple of changes to FileSearch and SearchPath

* Turn a couple of regular comments into doc comments
* Move `get_tools_search_paths` from `FileSearch` to `Session`
* Use Lrc instead of Option to avoid duplication of a `SearchPath`
compiler/rustc_session/src/session.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.