Fix uses of banner_is_disabled()
to not preclude -V
printouts; common formation of the banner string; better detection of time.h
methods
#1953
Job | Run time |
---|---|
5m 5s | |
5m 40s | |
4m 32s | |
4m 35s | |
4m 43s | |
4m 48s | |
4m 36s | |
5m 7s | |
4m 51s | |
4m 49s | |
4m 31s | |
5m 14s | |
4m 31s | |
4m 55s | |
4m 49s | |
6m 10s | |
5m 1s | |
5m 12s | |
1m 43s | |
1h 30m 52s |