Revert "Cross-compiling from Linux to Android requires -lrt for the host toolset.", "Fix Visual Stu…

src/platform.h

Index: src/platform.h
diff --git a/src/platform.h b/src/platform.h
index 44817b4b1175cb2e9c910b42fedc32694a49bbb4..a42bb5a20e33759cd7690c2909bb0f1d16e7efc8 100644
--- a/src/platform.h
+++ b/src/platform.h
@@ -192,6 +192,10 @@ class OS {
   // micro-second resolution.
   static int GetUserTime(uint32_t* secs,  uint32_t* usecs);
 
+  // Get a tick counter normalized to one tick per microsecond.
+  // Used for calculating time intervals.
+  static int64_t Ticks();
+
   // Returns current time as the number of milliseconds since
   // 00:00:00 UTC, January 1, 1970.
   static double TimeCurrentMillis();