blob: e11c6bfc6bb74ed46088a0018089ef76c96b7220 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# Copyright (c) 2017 The Chromium Authors. All rights reserved.
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE file.
"""
This script converts two %time% compatible strings passed to it into seconds,
subtracts them, and prints the difference. That's it. It's used by timeit.bat.
"""
import re
import sys
def ParseTime(time_string):
# Time looks like 15:19:30.32 or 15:19:30,32 depending on locale
# (and there might be other variants as well)
match = re.match("(.*):(.*):(.*)[\.,](.*)", time_string)
hours, minutes, seconds, fraction = map(int, match.groups())
return hours * 3600 + minutes * 60 + seconds + fraction * .01
print "%1.2f seconds elapsed time" % (ParseTime(sys.argv[1]) -
ParseTime(sys.argv[2]))
|
