From 74efc883c73ab4e6d900e40ff06a052917ac16f5 Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Tue, 12 May 2026 23:16:43 +0200 Subject: [PATCH] threading: temporarily cast to void unused stuff, until we rework single-threaded builds again --- kernel/threading.cc | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/kernel/threading.cc b/kernel/threading.cc index 817a48df0..eda6bb4cb 100644 --- a/kernel/threading.cc +++ b/kernel/threading.cc @@ -45,9 +45,12 @@ int ThreadPool::pool_size(int reserved_cores, int max_worker_threads) #ifdef YOSYS_ENABLE_THREADS int available_threads = std::min(std::thread::hardware_concurrency(), get_max_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 - return 0; + (void)reserved_cores; + (void)max_worker_threads; + (void)get_max_threads(); + return 0; #endif } @@ -146,6 +149,8 @@ void ParallelDispatchThreadPool::run_worker(int thread_num) signal_worker_done(); } signal_worker_done(); +#else + (void)current_work; #endif }