diff options
Diffstat (limited to 'gdbsupport/thread-pool.h')
| -rw-r--r-- | gdbsupport/thread-pool.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdbsupport/thread-pool.h b/gdbsupport/thread-pool.h index d5e1dc7fce1..6959414476f 100644 --- a/gdbsupport/thread-pool.h +++ b/gdbsupport/thread-pool.h @@ -204,6 +204,7 @@ private: between the main thread and the worker threads. */ std::condition_variable m_tasks_cv; std::mutex m_tasks_mutex; + bool m_sized_at_least_once = false; #endif /* CXX_STD_THREAD */ }; |