diff options
| author | bors <bors@rust-lang.org> | 2023-10-18 07:45:56 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-18 07:45:56 +0000 |
| commit | 6d7160ce97f4bbbd44991a7325077e08214e0ce2 (patch) | |
| tree | f4ca2be81b256dc20def8dd79bd285f84d2ce945 /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | b9832e72c9223f4e96049aa5911effd258b92591 (diff) | |
| parent | e1aa5adc786d0579802785190ee561add3e53eb7 (diff) | |
| download | rust-6d7160ce97f4bbbd44991a7325077e08214e0ce2.tar.gz rust-6d7160ce97f4bbbd44991a7325077e08214e0ce2.zip | |
Auto merge of #116814 - estebank:windows-ice-path, r=petrochenkov
Use `YYYY-MM-DDTHH_MM_SS` as datetime format for ICE dump files Windows paths do not support `:`, so use a datetime format in ICE dump paths that Windows will accept. CC #116809, fix #115180.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions