diff options
Diffstat (limited to 'scripts/make.sh')
-rwxr-xr-x | scripts/make.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index 7771cb77..9c22d4f4 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -13,8 +13,7 @@ UNSTRIPPED="generated/unstripped/$(basename "$OUTNAME")" # Since each cc invocation is short, launch half again as many processes # as we have processors so they don't exit faster than we can start them. -[ -z "$CPUS" ] && - CPUS=$((($(echo /sys/devices/system/cpu/cpu[0-9]* | wc -w)*3)/2)) +[ -z "$CPUS" ] && CPUS=$(($(nproc)+1)) if [ -z "$SED" ] then |