diff options
| author | Kenneth Heafield <github@kheafield.com> | 2014-01-02 01:19:06 +0400 |
|---|---|---|
| committer | Kenneth Heafield <github@kheafield.com> | 2014-01-02 01:19:06 +0400 |
| commit | 732a1b074426352498fc99459ae8499d95690084 (patch) | |
| tree | 56a06f19e341260128faf60743e84506943e9c07 /util/usage.hh | |
| parent | 18aaf4750a11f7a903a143b83f51eb34323613ea (diff) | |
KenLM 85c82bd, revamp Moses timer to have more precision
Diffstat (limited to 'util/usage.hh')
| -rw-r--r-- | util/usage.hh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/util/usage.hh b/util/usage.hh index e19eda7bf..da53b9e32 100644 --- a/util/usage.hh +++ b/util/usage.hh @@ -7,6 +7,9 @@ #include <stdint.h> namespace util { +// Time in seconds since process started. Zero on unsupported platforms. +double WallTime(); + void PrintUsage(std::ostream &to); // Determine how much physical memory there is. Return 0 on failure. |