mirror of
https://github.com/YosysHQ/yosys
synced 2026-05-31 22:27:50 +00:00
threading: temporarily cast to void unused stuff, until we rework single-threaded builds again
This commit is contained in:
parent
3a150f2883
commit
74efc883c7
1 changed files with 7 additions and 2 deletions
|
|
@ -45,9 +45,12 @@ int ThreadPool::pool_size(int reserved_cores, int max_worker_threads)
|
||||||
#ifdef YOSYS_ENABLE_THREADS
|
#ifdef YOSYS_ENABLE_THREADS
|
||||||
int available_threads = std::min<int>(std::thread::hardware_concurrency(), get_max_threads());
|
int available_threads = std::min<int>(std::thread::hardware_concurrency(), get_max_threads());
|
||||||
int num_threads = std::min(available_threads - reserved_cores, max_worker_threads);
|
int num_threads = std::min(available_threads - reserved_cores, max_worker_threads);
|
||||||
return std::max(0, num_threads);
|
return std::max(0, num_threads);
|
||||||
#else
|
#else
|
||||||
return 0;
|
(void)reserved_cores;
|
||||||
|
(void)max_worker_threads;
|
||||||
|
(void)get_max_threads();
|
||||||
|
return 0;
|
||||||
#endif
|
#endif
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
@ -146,6 +149,8 @@ void ParallelDispatchThreadPool::run_worker(int thread_num)
|
||||||
signal_worker_done();
|
signal_worker_done();
|
||||||
}
|
}
|
||||||
signal_worker_done();
|
signal_worker_done();
|
||||||
|
#else
|
||||||
|
(void)current_work;
|
||||||
#endif
|
#endif
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue