diff options
Diffstat (limited to 'src/tools/mkcoverit.sh')
-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 |