my rust fork
https://www.rust-lang.org
1189701516
* Update logging section and explain `RUSTC_LOG_COLOR` * Small fixes Co-authored-by: Léo Lanteri Thauvin <leseulartichaut@gmail.com> * Mention that prefixes of paths work as log filters * `=debug` matches `debug!` *and higher* * Note that `MIRI_LOG_COLOR` only applies to logs from Miri Co-authored-by: Léo Lanteri Thauvin <leseulartichaut@gmail.com> |
||
|---|---|---|
| src/doc/rustc-dev-guide | ||