diff options
-rwxr-xr-x | lib/make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/make.sh b/lib/make.sh index ff1dc5ee..c9d7c02e 100755 --- a/lib/make.sh +++ b/lib/make.sh @@ -752,7 +752,7 @@ make_check() "$build"|*"-elf"*) make_flags="${make_flags} -j ${cpus}" ;; # Try to make cross-testing results on the aarch64-linux-gnu # boards stable: limit to the number of target cpus. - aarch64-linux-gnu) make_flags="${make_flags} -j 2" ;; + aarch64-linux-gnu) make_flags="${make_flags} -j 8" ;; # Double parallelization when running tests on remote boards # to avoid host idling when waiting for the board. *) make_flags="${make_flags} -j $((2*${cpus}))" ;; |