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
check.sh	Use YYYY-MM-DDTHH_MM_SS as datetime format for ICE dump files	2023-10-17 17:31:47 +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