diff options
author | 2024-02-27 23:54:35 -0300 | |
---|---|---|
committer | 2024-02-29 08:52:25 -0300 | |
commit | 93a5d7a2f5f8771f79ae89936a74ca45bfe48660 (patch) | |
tree | 3f27a26666ad57c702636e577f08aaa1b2dbd23f /src | |
parent | build: format gcov.sh (diff) | |
download | firejail-93a5d7a2f5f8771f79ae89936a74ca45bfe48660.tar.gz firejail-93a5d7a2f5f8771f79ae89936a74ca45bfe48660.tar.zst firejail-93a5d7a2f5f8771f79ae89936a74ca45bfe48660.zip |
build: standardize parallel make arguments
Currently the number of make jobs used for the default build target are
hardcoded and the value used varies across files.
For consistency (and potentially better performance), use
`make -j "$(nproc)"` everywhere that `make -j` is currently used.
Kind of relates to commit 500d8f2d6 ("ci: run make in parallel where
applicable", 2023-08-14) / PR #5960.
Diffstat (limited to 'src')
-rwxr-xr-x | src/tools/mkcoverit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/mkcoverit.sh b/src/tools/mkcoverit.sh index 2d54f7c66..2b1c0a9d8 100755 --- a/src/tools/mkcoverit.sh +++ b/src/tools/mkcoverit.sh | |||
@@ -44,5 +44,5 @@ mv $DIRFIRETOOLS $DIRFIREJAIL/extras/firetools | |||
44 | 44 | ||
45 | # build | 45 | # build |
46 | cd $DIRFIREJAIL | 46 | cd $DIRFIREJAIL |
47 | cov-build --dir cov-int make -j 4 extras | 47 | cov-build --dir cov-int make -j "$(nproc)" extras |
48 | tar czvf myproject.tgz cov-int | 48 | tar czvf myproject.tgz cov-int |