Browse Source

Tools: ci: use number of CPUs to choose number of jobs on Make builds

master
Francisco Ferreira 8 years ago
parent
commit
aa6b997a0b
No known key found for this signature in database
GPG Key ID: F63C20A6773E787E
  1. 2
      Tools/scripts/build_ci.sh

2
Tools/scripts/build_ci.sh

@ -74,7 +74,7 @@ for t in $CI_BUILD_TARGET; do @@ -74,7 +74,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…
Cancel
Save