From d55ce9cba04ed6c0c1d2c6b6edec887e0024ccc7 Mon Sep 17 00:00:00 2001 From: huangruizhe Date: Wed, 28 Nov 2018 19:47:28 -0500 Subject: [PATCH] fixed: In timer.cc:81, the destructor for Profiler fails as this does not exist on windows --- src/base/timer.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/base/timer.h b/src/base/timer.h index 96c5babb305..0e033766362 100644 --- a/src/base/timer.h +++ b/src/base/timer.h @@ -53,7 +53,7 @@ class Timer { private: LARGE_INTEGER time_start_; }; -} + #else #include @@ -88,6 +88,8 @@ class Timer { struct timezone time_zone_; }; +#endif + class Profiler { public: // Caution: the 'const char' should always be a string constant; for speed, @@ -109,7 +111,5 @@ class Profiler { } // namespace kaldi -#endif - #endif // KALDI_BASE_TIMER_H_