diff options
Diffstat (limited to 'lib/make.sh')
| -rwxr-xr-x | lib/make.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/make.sh b/lib/make.sh index c86989e6..0693a96a 100755 --- a/lib/make.sh +++ b/lib/make.sh @@ -739,8 +739,8 @@ make_check() case "${target}" in "$build"|*"-elf"*) make_flags="${make_flags} -j ${cpus}" ;; # Try to find out which test is crashing the aarch64-linux-gnu - # boards. - aarch64-linux-gnu) make_flags="${make_flags} -j 1" ;; + # boards and x86_64 builders. + aarch64-linux-gnu|x86_64*) make_flags="${make_flags} -j 1" ;; # Double parallelization when running tests on remote boards # to avoid host idling when waiting for the board. *) make_flags="${make_flags} -j $((2*${cpus}))" ;; |