Searched refs:FinishTime (Results 1 – 3 of 3) sorted by relevance
444 FinishTime = time.clock() variable446 BuildDuration = time.strftime("%M:%S", time.gmtime(int(round(FinishTime - StartTime))))
646 FinishTime = time.clock() variable648 BuildDuration = time.strftime("%M:%S", time.gmtime(int(round(FinishTime - StartTime))))
2109 FinishTime = time.time()2110 BuildDuration = time.gmtime(int(round(FinishTime - StartTime)))