ci: Select number of parallel make jobs depending on CI environment

This should improve compilation times on macOS. Things can certainly
be improved further, e.g., by running the benchmarks in parallel.
This commit is contained in:
Tim Ruffing
2021-03-03 01:21:18 +01:00
parent 28eccdf806
commit 9361f360bb
2 changed files with 6 additions and 2 deletions

View File

@@ -21,7 +21,8 @@ valgrind --version || true
--with-valgrind="$WITH_VALGRIND" \
--host="$HOST" $EXTRAFLAGS
make -j2
# We have set "-j<n>" in MAKEFLAGS.
make
# Print information about binaries so that we can see that the architecture is correct
file *tests || true
@@ -30,7 +31,7 @@ file .libs/* || true
if [ -n "$BUILD" ]
then
make -j2 "$BUILD"
make "$BUILD"
fi
if [ "$RUN_VALGRIND" = "yes" ]