Correctly reject device files with multi-dot filename extensions. #1747
Job | Run time |
---|---|
3m 1s | |
2m 14s | |
2m 11s | |
1m 57s | |
1m 48s | |
56s | |
1m 40s | |
21s | |
40s | |
37s | |
1m 53s | |
52s | |
1m 22s | |
37s | |
1m 53s | |
39s | |
54s | |
39s | |
39s | |
1m 51s | |
38s | |
2m 30s | |
29m 52s |
Job | Run time |
---|---|
3m 1s | |
2m 14s | |
2m 11s | |
1m 57s | |
1m 48s | |
56s | |
1m 40s | |
21s | |
40s | |
37s | |
1m 53s | |
52s | |
1m 22s | |
37s | |
1m 53s | |
39s | |
54s | |
39s | |
39s | |
1m 51s | |
38s | |
2m 30s | |
29m 52s |