tree 345d6346577b8d3e0cec2790924bc1e55b1c9f6b
parent 66f69221de06b65a6ef3e9d6f01a2dc3bfb8bf03
author Daniel Bratell <bratell@opera.com> 1514454810 +0100
committer Commit Bot <commit-bot@chromium.org> 1514455451 +0000

Make timeit.bat handle some non-US locales better

timeit.bat assumed the decimal separator was a period. Sometimes
it's a comma.

Change-Id: Id8d04f980907dda0d80af96be8568b1704b61399
Reviewed-on: https://chromium-review.googlesource.com/844322
Commit-Queue: Daniel Bratell <bratell@opera.com>
Reviewed-by: Bruce Dawson <brucedawson@chromium.org>
Cr-Original-Commit-Position: refs/heads/master@{#526285}
Cr-Mirrored-From: https://chromium.googlesource.com/chromium/src
Cr-Mirrored-Commit: 81bbbfa8a4b82ce956c8b1e77d4ea67869e7c895