Esteban Küber e1aa5adc78 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. Fix #116809, fix #115180.		2023-10-17 17:31:47 +00:00
..
src	Add run-make test for ICE dump	2023-07-19 14:10:13 +00:00
Makefile	Fix `dump-ice-to-disk` and `short-ice` tests when librustc-driver is dynamically linked	2023-07-20 14:31:56 +02:00
check.sh	Use `YYYY-MM-DDTHH_MM_SS` as datetime format for ICE dump files	2023-10-17 17:31:47 +00:00