Repository navigation

Restore ec->errinfo after handling interrupts #13398

Job	Run time
omnibus compilations, source	55s
omnibus compilations, #01	16m 52s
omnibus compilations, #12	11m 10s
omnibus compilations, #07	17m 29s
omnibus compilations, #04	11m 47s
omnibus compilations, #11	16m 39s
omnibus compilations, #08	17m 25s
omnibus compilations, #02	16m 14s
omnibus compilations, #09	15m 51s
omnibus compilations, #06	10m 24s
omnibus compilations, #10	10m 19s
omnibus compilations, #16	14m 30s
omnibus compilations, #03	14m 50s
omnibus compilations, #19	7m 53s
omnibus compilations, #21	14m 20s
omnibus compilations, #05	11m 39s
omnibus compilations, #14	9m 32s
omnibus compilations, #15	12m 29s
omnibus compilations, #20	11m 24s
omnibus compilations, #13	14m 16s
omnibus compilations, #22	7m 45s
omnibus compilations, #18	13m 34s
omnibus compilations, #17	12m 45s
omnibus compilations, #23	8m 59s
omnibus compilations, #24	8m 41s
omnibus compilations, result	9s
	5h 7m 51s