fix build error with TOOL_COUNT set to 0 #677
Job | Run time |
---|---|
32s | |
1m 9s | |
48s | |
25s | |
1m 14s | |
1m 4s | |
57s | |
15s | |
3m 45s | |
50s | |
59s | |
57s | |
2m 54s | |
1m 9s | |
1m 11s | |
33s | |
1m 5s | |
21s | |
37s | |
40s | |
21m 25s |
Job | Run time |
---|---|
32s | |
1m 9s | |
48s | |
25s | |
1m 14s | |
1m 4s | |
57s | |
15s | |
3m 45s | |
50s | |
59s | |
57s | |
2m 54s | |
1m 9s | |
1m 11s | |
33s | |
1m 5s | |
21s | |
37s | |
40s | |
21m 25s |