Move the hi-res time to system tools

1 files changed, 9 insertions, 0 deletions

diff --git a/Source/cmSystemTools.h b/Source/cmSystemTools.h
index 67b93007ed..5218fa9e1d 100644
--- a/Source/cmSystemTools.h
+++ b/Source/cmSystemTools.h
@@ -38,6 +38,15 @@ public:
   static bool MakeDirectory(const char* path);
 
   /**
+   * Get current time as a double. On certain platforms this will
+   * return higher resolution than seconds:
+   * (1) gettimeofday() -- resolution in microseconds
+   * (2) ftime() -- resolution in milliseconds
+   * (3) time() -- resolution in seconds
+   */
+  static double GetTime();
+
+  /**
    * Replace replace all occurances of the string in
    * the source string.
    */