Clean up DOS
ifdef (#2872)
#7950
Job | Run time |
---|---|
10m 51s | |
22m 17s | |
28m 32s | |
37m 16s | |
33m 43s | |
18m 1s | |
7m 19s | |
9m 46s | |
10m 34s | |
9m 43s | |
7m 4s | |
5m 0s | |
11m 20s | |
11m 18s | |
18m 51s | |
23m 21s | |
1s | |
4h 24m 57s |