Merge two loops in ThreadsManager::init()

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index cda0ef591192c9852e422447a3a3f57ef91bb1c6..84ea9cd52b6e286af173ec7e53e1c493ecd26a26 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -30,6 +30,7 @@ extern const std::string engine_info(bool to_uci = false);
 extern int cpu_count();
 extern void timed_wait(WaitCondition&, Lock&, int);
 extern void prefetch(char* addr);
+extern void start_logger(bool b);
 
 extern void dbg_hit_on(bool b);
 extern void dbg_hit_on_c(bool c, bool b);
@@ -57,7 +58,7 @@ public:
   static Time current_time() { Time t; t.restart(); return t; }
 
 private:
-  my_time_t t;
+  sys_time_t t;
 };
 
 #endif // !defined(MISC_H_INCLUDED)