tree c0945e0b0b6f7cc9b50a0890a055ddc51d0037b3
parent 7779a034320038778730796b2529601b915fe91e
author Scott Todd <scotttodd@google.com> 1597079214 -0700
committer GitHub <noreply@github.com> 1597079214 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfMX6uCRBK7hj4Ov3rIwAAdHIIAKJMaM1IlzjN2W0zXhZH9un8
 vpWIf3SmDyeUnt5fM0WwvH0sOhh0X6jFN3OQkIrt2ST5ybJ/C5viNRn8ysQ7YW03
 X8j9tRnFKn5FJ8YCyEuzscgq2xuwRFKqu5w/QJFC1IKEISmBPZSDJn3bhxmxRtoH
 MSzaq1G/MtTPGZs9D64b8DZTdivMRpInzGZ2t9aaL/3A6SFzMYz5v46Tc1Pjrkgb
 qkHRRnSR7FkqAkqvmrHY7yPXgnK8/eFKDqjWTf97AXNXFjCM1uJ1BBMJyT8r47Gc
 qWCJX7aoI2mLam3b1o9memr/DkhPLS5yxvd+JfDFY/9kMvuVllwu579G5BrgS0c=
 =sCcv
 -----END PGP SIGNATURE-----
 

Use platform-specific, hopefully higher precision, system time. (#2823)

Fixes https://github.com/google/iree/issues/2801