From 4f0403d24067c1f69b21cd29c5f9e5949e64c635 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 18 Oct 2024 09:37:44 +0200 Subject: Change default number of threads from 16 to 8 --- configure.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/configure.sh b/configure.sh index ae51189..aac6444 100755 --- a/configure.sh +++ b/configure.sh @@ -15,7 +15,7 @@ # # THREADS=n # Choose how many threads to use for multi-threaded oerations. -# By default, 16 threads will be used (TODO: in the future this will be +# By default, 8 threads will be used (TODO: in the future this will be # determined base on the system). # The number n must be between 1 and 128. # @@ -29,18 +29,18 @@ # # Examples # -# 1. Build using clang and 8 threads -# CC=clang THREADS=8 ./configure.sh && make +# 1. Build using clang and 4 threads +# CC=clang THREADS=4 ./configure.sh && make # # 2. Build using thread and undefined behavior sanitizers when in debug mode -# SANITIZE="thread,undefined" ./configures && make +# SANITIZE="thread,undefined" ./configure.sh && make greparch() { $CC -march=native -dM -E - /dev/null | grep "$1" } detectthreads() { - echo 16 # TODO: choose based on system + echo 8 # TODO: choose based on system } detectarch() { -- cgit v1.3