summaryrefslogtreecommitdiff
path: root/tools/checkcov
diff options
context:
space:
mode:
Diffstat (limited to 'tools/checkcov')
-rwxr-xr-xtools/checkcov2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/checkcov b/tools/checkcov
index 412a58e..5798dfb 100755
--- a/tools/checkcov
+++ b/tools/checkcov
@@ -13,7 +13,7 @@ case "$1" in
;;
esac
-make check
+make -j check
case "$1" in
coverage)