tree ca0ba2e6e1eee97876fd3da1eb45da0df216446b
parent 4bea6d7a2dc2c833b7af0cd1be15ad5e10c85316
author Thomas Gamper <eiszapfen2000@gmail.com> 1506343282 +0200
committer Sameer Agarwal <sameeragarwal@google.com> 1506431454 +0000

Use high-resolution timer on Windows

This fixes a Windows specific issue where the
problem-summary reports timings as zero, as long as
the time difference in question is smaller than one
second.

Change-Id: Ibd91874294423af6acda2575eae80f01aabed6d3