mirror of
https://github.com/ArduPilot/ardupilot
synced 2025-01-31 04:58:30 -04:00
Tools: ci: use number of CPUs to choose number of jobs on Make builds
This commit is contained in:
parent
8dcc555519
commit
f9ec6bbda4
@ -78,7 +78,7 @@ for t in $CI_BUILD_TARGET; do
|
||||
fi
|
||||
|
||||
start_time=$(get_time)
|
||||
CCACHE_DISABLE="true" make $t -j2
|
||||
CCACHE_DISABLE="true" make $t -j$(nproc)
|
||||
diff_time=$(($(get_time)-$start_time))
|
||||
echo -e "\033[32m'make' finished successfully (${diff_time}s)\033[0m"
|
||||
popd
|
||||
|
Loading…
Reference in New Issue
Block a user