diff options
| author | Patrick Simianer <p@simianer.de> | 2014-01-28 15:35:31 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-01-28 15:35:31 +0100 |
| commit | c83f665cb7efbbfb0fdfa12203b09ba60e365d25 (patch) | |
| tree | d9132aaf35e696a52c5e09430ae2889b033cdacb /klm/util/usage.hh | |
| parent | 85088dc6e09d4e91038aea46e8d20b5c34053b5f (diff) | |
| parent | 3e22fcc3569a2855f691be4e3ee81f644b926c04 (diff) | |
resolv conflict in mira
Diffstat (limited to 'klm/util/usage.hh')
| -rw-r--r-- | klm/util/usage.hh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/klm/util/usage.hh b/klm/util/usage.hh index e19eda7b..da53b9e3 100644 --- a/klm/util/usage.hh +++ b/klm/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. |