diff options
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 |