diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-04-01 12:26:50 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-04-01 12:26:50 +0200 |
commit | 4b3c21a36e5220be99fd990e005dc452ef4dbbe0 (patch) | |
tree | 23cab745be523e486bb81ba2a4b2208bdc20e402 | |
parent | d9ca9ee7b1284dce5b1af9aa8422155da53a5585 (diff) |
-fix build
-rwxr-xr-x | contrib/ci/jobs/2-test/test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ci/jobs/2-test/test.sh b/contrib/ci/jobs/2-test/test.sh index 940e5ef12..8ef4c1d92 100755 --- a/contrib/ci/jobs/2-test/test.sh +++ b/contrib/ci/jobs/2-test/test.sh @@ -11,6 +11,7 @@ apt-get upgrade -yqq nump=$(grep processor /proc/cpuinfo | wc -l) make clean +make -j$(( $nump / 2 )) cd src/templating/ ./run-original-tests.sh cd - |