Make os.clock
use clock_gettime
on FreeBSD
#1332
Job | Run time |
---|---|
4m 13s | |
54s | |
4m 46s | |
8m 46s | |
4m 20s | |
3m 45s | |
3m 35s | |
30m 19s |
os.clock
use clock_gettime
on FreeBSD
#1332
Job | Run time |
---|---|
4m 13s | |
54s | |
4m 46s | |
8m 46s | |
4m 20s | |
3m 45s | |
3m 35s | |
30m 19s |